src/HOL/Library/README.html
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Wed, 26 Mar 2008 21:05:58 +0100 huffman fix spelling errors
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
Wed, 25 Oct 2000 18:33:40 +0200 wenzelm add \<le> to list of "good" symbols;
Fri, 20 Oct 2000 13:15:26 +0200 wenzelm tuned;
Wed, 18 Oct 2000 23:31:16 +0200 wenzelm "The Supplemental Isabelle/HOL Library";
less more (0) tip