aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/first-order/formula.ml
Commit message (Expand)AuthorAge
* first-order --> firstorder (kills a warning about not being a valid id)Gravatar letouzey2008-04-16
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Types inductifs parametriquesGravatar mohring2005-11-02
* Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changedGravatar sacerdot2005-01-14
* Nouvelle en-têteGravatar herbelin2004-07-16
* correction de bugs de congruence et firstorder (inductifs)Gravatar corbinea2004-02-06
* Ground updateGravatar corbinea2003-07-08
* Ground bugfixGravatar corbinea2003-07-04
* modification groundGravatar corbinea2003-07-03
* addition of Auto hints in GroundGravatar corbinea2003-07-03
* Ground Update.Gravatar corbinea2003-06-20
* Ground major update ... mmm, sounds exciting !Gravatar corbinea2003-06-15
* Major Ground update, may break semanticsGravatar corbinea2003-06-14
* Ground update.Gravatar corbinea2003-06-13
* Ground update + some bugfixGravatar corbinea2003-06-04
* Ground daily updateGravatar corbinea2003-05-29
* GIntuition now matches Intuition up to hyps renaming.Gravatar corbinea2003-05-26
* Ground and CCsolve updatesGravatar corbinea2003-05-25
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* Major Ground tactic update, sensible performance improvementGravatar corbinea2003-05-16
* Enhancement of the Ground tactic, addition of GTauto and GIntuition.Gravatar corbinea2003-05-07
* bugfix in Ground tacticGravatar corbinea2003-04-26
* Added the Ground tactic.Gravatar corbinea2003-04-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 15:11:21 +0000