coq - The formal proof system

Age	Commit message (Expand)	Author
2008-05-16	ZTreeMod was meant to prove that BigZ correspond to the Integer Axioms.	letouzey
2008-05-16	More BigNum cleanup:	letouzey
2008-05-07	Integration of theories/Ints into theories/Numbers, part 1: moving files	letouzey
2008-04-27	Suite r10857	herbelin
2008-03-06	Plug the new setoid implemtation in, leaving the original one commented	msozeau
2007-11-14	Update on Numbers; renamed ZOrder.v to ZLt to remove clash with ZArith/Zorder...	emakarov
2007-11-07	Replaced BinNat with a new version that is based on theories/Numbers/Natural/...	emakarov
2007-11-06	Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...	letouzey
2007-10-23	Added Numbers/Natural/Abstract/NIso.v that proves that any two models of natu...	emakarov
2007-10-04	Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o...	emakarov