aboutsummaryrefslogtreecommitdiff
path: root/isa/Example.thy
AgeCommit message (Collapse)Author
2000-08-02tuned;Makarius Wenzel
1999-09-22tuned example according to Isabelle style-guide;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 22:10:20 +0000