src/HOL/Isar_examples/README.html
1999-10-08 wenzelm 1999-10-08 improved;
1999-10-05 wenzelm 1999-10-05 tuned comments;
1999-07-14 wenzelm 1999-07-14 tuned;
1999-07-14 wenzelm 1999-07-14 tuned comments;