aboutsummaryrefslogtreecommitdiff
path: root/etc/isa/completed-proof.ML
AgeCommit message (Collapse)Author
2008-06-14obsolete;Makarius Wenzel
2002-08-09New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 13:47:04 +0000