src/HOL/Library/README.html
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