coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Made option "Automatic Introduction" active by default before too many	herbelin	2010-06-08
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	DoubleCyclic + NMake : typeclasses, more genericity, less ML macro-generation	letouzey	2010-02-08
*	NMake (and hence BigN): shiftr, shiftl now in the signature NSig	letouzey	2010-01-25
*	More improvements of BigN, BigZ, BigQ:	letouzey	2010-01-18
*	BigN, BigZ, BigQ: presentation via unique module with both ops and props	letouzey	2010-01-17
*	Numbers: two more Local Obligation Tactic	letouzey	2010-01-12
*	Numbers: BigN and BigZ get instantiations of all properties about div and mod	letouzey	2010-01-08
*	RelationPairs: stop loading it in all Numbers, stop maximal args with fst/snd	letouzey	2009-12-18
*	Fix backtracking heuristic in typeclass resolution.	msozeau	2009-11-30
*	Repair interpretation of numeral for BigQ, add a printer (close #2160)	letouzey	2009-11-12
*	SpecViaZ.NSig: all-in-one spec for [pred] and [sub] based on ZMax	letouzey	2009-11-10
*	Simplification of Numbers, mainly thanks to Include	letouzey	2009-11-10
*	Numbers: more (syntactic) changes toward new style of type classes	letouzey	2009-11-06
*	Numbers: start using Classes stuff, Equivalence, Proper, Instance, etc	letouzey	2009-11-03
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Many fixes in unification:	msozeau	2009-05-20
*	Even better test for choosing rewrite or setoid_rewrite.	msozeau	2008-07-26
*	In abstract parts of theories/Numbers, plus/times becomes add/mul,	letouzey	2008-06-03
*	In abstract parts of theories/Numbers, plus/times becomes add/mul,	letouzey	2008-06-02
*	Enhance the BigN and BigZ infrastructure:	letouzey	2008-06-01