aboutsummaryrefslogtreecommitdiff
path: root/contrib/first-order/formula.ml
AgeCommit message (Expand)Author
2008-04-16first-order --> firstorder (kills a warning about not being a valid id)letouzey
2008-04-13Bugs, nettoyage, et améliorations diversesherbelin
2006-09-20Declarative Proof Language: main commitcorbinea
2005-11-02Types inductifs parametriquesmohring
2005-01-14Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changedsacerdot
2004-07-16Nouvelle en-têteherbelin
2004-02-06correction de bugs de congruence et firstorder (inductifs)corbinea
2003-07-08Ground updatecorbinea
2003-07-04Ground bugfixcorbinea
2003-07-03modification groundcorbinea
2003-07-03addition of Auto hints in Groundcorbinea
2003-06-20Ground Update.corbinea
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-14Major Ground update, may break semanticscorbinea
2003-06-13Ground update.corbinea
2003-06-04Ground update + some bugfixcorbinea
2003-05-29Ground daily updatecorbinea
2003-05-26GIntuition now matches Intuition up to hyps renaming.corbinea
2003-05-25Ground and CCsolve updatescorbinea
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-05-16Major Ground tactic update, sensible performance improvementcorbinea
2003-05-07Enhancement of the Ground tactic, addition of GTauto and GIntuition.corbinea
2003-04-26bugfix in Ground tacticcorbinea
2003-04-25Added the Ground tactic.corbinea
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 23:18:13 +0000