aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/redexpr.mli
Commit message (Expand)AuthorAge
* Changement des named_contextGravatar gregoire2005-12-02
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Partie reduction_of_red_expr de tacred.ml qui dépend de la vm maintenant dan...Gravatar herbelin2005-01-02