coq - The formal proof system

Age	Commit message (Expand)	Author
2008-04-08	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau
2008-03-16	Reorganize Program and Classes theories. Requiring Setoid no longer sets	msozeau
2008-03-07	f_equal, revert, specialize in ML, contradict in better Ltac (+doc)	letouzey
2008-03-07	repair FSets/FMap after the change in setoid rewrite	letouzey
2008-03-06	Plug the new setoid implemtation in, leaving the original one commented	msozeau
2008-03-04	migration from Set to Type of FSet/FMap + some dependencies...	letouzey
2008-03-02	A fix for compilation of FMapFacts (a story of impl arg for Logic.eq)	letouzey
2008-02-28	Some suggestions about FMap by P. Casteran:	letouzey
2008-02-28	cardinal is promoted to the rank of primitive member of the FMap interface	letouzey
2008-02-04	Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps	letouzey
2008-01-04	more user-friendly versions of some properties lemmas in FSets/FMap	letouzey
2007-11-06	small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is	letouzey
2007-10-21	Cleanup attempt of Hints in *Interface.v files.	letouzey
2007-06-27	- Extensions of FMap(Weak)Facts:	letouzey
2007-06-26	additional properties for FMap (and slight rework of SetoidList and FSetPrope...	letouzey
2007-06-14	Rework of FSetProperties, in order to add more easily a Properties functor	letouzey
2006-05-31	petits ajouts	letouzey
2006-05-22	un debut de propriétés concernant FMap	letouzey