aboutsummaryrefslogtreecommitdiff
path: root/pretyping/instantiate.ml
AgeCommit message (Expand)Author
2002-02-19meilleur message d'erreur lorsqu'on type une evar qui n'existe pasbarras
2001-11-05GROS COMMIT:barras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 02:31:59 +0000