src/HOL/Isar_examples/README.html
1999-07-14 wenzelm 1999-07-14 tuned;
1999-07-14 wenzelm 1999-07-14 tuned comments;