| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-06-30 | Add new variants of [rewrite] and [autorewrite] which differ in the | msozeau |
| 2009-04-14 | Rewrite autorewrite to use a dnet indexed by the left-hand sides (or | msozeau |
| 2009-04-13 | Rewrite of setoid_rewrite to modularize it based on proof-producing | msozeau |
| 2006-08-22 | + Changing "in <hyp>" to "in <clause>" (no at, no InValue and no | jforest |
| 2005-05-18 | Implemented autorewrite with ... in hyp [using ...]. | sacerdot |
| 2004-11-17 | New command "Print Rewrite HindDb dbname". | sacerdot |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
| 2001-03-15 | entetes | filliatr |
| 2000-12-19 | AutoRewrite n'ecrit plus de valeurs fonctionnelles sur disque | delahaye |
| 2000-12-12 | syntaxe AST Inversion + commentaires ocamlweb autour de $ | filliatr |
| 2000-12-02 | Portage d'AutoRewrite | delahaye |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |