Исправление unsigned, 27.06.13 11:33 (текущая версия) :
Интересная штука - впервые увидел практическое применение Coq и Caml, да ещё и в одном проекте.
Ух, да там и Xavier Leroy приложился...
Исходная версия unsigned, 27.06.13 11:31: