aboutsummaryrefslogtreecommitdiff
path: root/pretyping/multcase.ml
AgeCommit message (Expand)Author
1999-11-26Pas encore pretherbelin
1999-11-26Modification pour faire compiler pretyping.ml qui maintenant compileherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-10 03:23:17 +0000