aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml/proof2aproof.ml
AgeCommit message (Expand)Author
2002-12-19simplification de solve_subgoal: n'utilise plus frontierbarras
2002-11-05Intégration de la branche mowgliherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 18:55:38 +0000