src/HOL/Isar_examples/README.html
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Fri, 08 Oct 1999 16:05:06 +0200 wenzelm improved;
Tue, 05 Oct 1999 18:16:41 +0200 wenzelm tuned comments;
Wed, 14 Jul 1999 13:32:21 +0200 wenzelm tuned;
Wed, 14 Jul 1999 13:07:09 +0200 wenzelm tuned comments;
less more (0) tip