src/HOL/Isar_examples/README.html
Wed, 14 Jul 1999 13:07:09 +0200 wenzelm tuned comments;
less more (0) tip