coq - The formal proof system

Age	Commit message (Expand)	Author
2017-06-01	drop vo.itarget files and compute the corresponding the corresponding values ...	Matej Kosik
2011-07-01	Cleanup of files related with power over Z.	letouzey
2011-06-28	Deletion of useless Zdigits_def	letouzey
2011-06-28	Deletion of useless Zlog_def	letouzey
2011-06-28	Deletion of useless Zsqrt_def	letouzey
2011-06-28	Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def	letouzey
2011-06-24	Clean-up of Znumtheory, deletion of Zgcd_def	letouzey
2011-05-05	Modularization of BinInt, related fixes in the stdlib	letouzey
2010-12-06	Numbers and bitwise functions.	letouzey
2010-11-10	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey
2010-11-05	Numbers: axiomatization, properties and implementations of gcd	letouzey
2010-11-02	Numbers : log2. Abstraction, properties and implementations.	letouzey
2010-10-19	Add sqrt in Numbers	letouzey
2010-02-09	ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType	letouzey
2010-01-14	Rename Zbinary into Zdigit in order to avoid confusion with Numbers/.../ZBina...	letouzey
2009-12-09	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey