Appel's SML/NJ, Rabbit, CertiCoq
Украинцам запретили выступать на Паралимпиаде в форме с картой Украины22:58
。新收录的资料是该领域的重要参考
黎智英欺詐案上訴得直：定罪及刑罰被撤銷，出獄時間提前
Yellow: A scrounger，更多细节参见新收录的资料
Раскрыты подробности похищения ребенка в Смоленске09:27
Credit: Panasonic。新收录的资料对此有专业解读