coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	An update on Numbers. Added two files dealing with recursion, for information...	emakarov	2007-11-22
*	Added theorems; created NZPlusOrder from NTimesOrder.	emakarov	2007-11-16
*	Split NTimesOrder into properly NTimesOrder and NPlusOrder.	emakarov	2007-11-15
*	Update on Numbers; renamed ZOrder.v to ZLt to remove clash with ZArith/Zorder...	emakarov	2007-11-14
*	Moved several lemmas from theories/Numbers/NumPrelude to theories/Init/Logic.	emakarov	2007-11-08
*	Replaced BinNat with a new version that is based on theories/Numbers/Natural/...	emakarov	2007-11-07
*	Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...	letouzey	2007-11-06
*	An update of theories/Numbers	emakarov	2007-11-03
*	Added Numbers/Natural/Abstract/NIso.v that proves that any two models of natu...	emakarov	2007-10-23
*	Added transitivity and irreflexivity of <, as well as < -elimination for bina...	emakarov	2007-10-16
*	Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o...	emakarov	2007-10-04
*	The following now compiles: abstract integers with plus, minus and times, bin...	emakarov	2007-10-02
*	Added the compilation of theories/Numbers to Makefile.common. The following t...	emakarov	2007-10-01
*	An update on theories/Numbers.	emakarov	2007-09-25
*	Update on theories/Numbers	emakarov	2007-09-21
*	Update on theories/Numbers. Natural numbers are mostly complete,	emakarov	2007-09-21
*	Update before joining all signatures into one.	emakarov	2007-09-13
*	An update on axiomatic number classes.	emakarov	2007-08-13
*	An update on axiomatization of numbers.	emakarov	2007-07-24
*	An update on axiomatization of number classes.	emakarov	2007-07-13
*	Update of theories/Numbers directory.	emakarov	2007-07-06
*	Update on numbers.	emakarov	2007-07-05
*	Added the directory theories/Numbers where axiomatizations and implementation...	emakarov	2007-06-29