coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...	herbelin	2006-05-30
*	Messages de idtac et fail peuvent maintenant être des listes de string, int ...	herbelin	2006-01-21
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Standardisation of function names about global references (especially, renami...	herbelin	2005-02-18
*	firstorder bugfix to cope with elim of sigma types with goal is of the wrong ...	corbinea	2004-09-27
*	Nouvelle en-tête	herbelin	2004-07-16
*	correction de bugs de congruence et firstorder (inductifs)	corbinea	2004-02-06
*	factorisation et generalisation des clauses	barras	2003-11-13
*	Traduction semantique des InHyp de clause en InHypValue si local def	herbelin	2003-11-09
*	Ground update changing left-arrow-arrow rule.	corbinea	2003-10-13
*	addition of Auto hints in Ground	corbinea	2003-07-03
*	Ground update	corbinea	2003-06-22
*	Ground update	corbinea	2003-06-20
*	Ground Update.	corbinea	2003-06-20
*	Ground update	corbinea	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	Major Ground update, may break semantics	corbinea	2003-06-14
*	Ground update, new files.	corbinea	2003-06-13
*	Ground update.	corbinea	2003-06-13
*	bugfix for Ground ( merci JC )	corbinea	2003-06-04
*	Ground update + some bugfix	corbinea	2003-06-04
*	Ground daily update	corbinea	2003-05-29
*	GIntuition now matches Intuition up to hyps renaming.	corbinea	2003-05-26
*	Added breakpoint in Ground tactic.	corbinea	2003-05-26
*	Ground and CCsolve updates	corbinea	2003-05-25
*	Major Ground tactic update, sensible performance improvement	corbinea	2003-05-16
*	bugfixes in Ground.	corbinea	2003-05-08
*	Enhancement of the Ground tactic, addition of GTauto and GIntuition.	corbinea	2003-05-07
*	bugfix in Ground tactic	corbinea	2003-04-26
*	Added the Ground tactic.	corbinea	2003-04-25