src/HOL/Library/document/root.bib
Sun, 22 Oct 2000 22:18:40 +0200 wenzelm simplified quotients (only plain total equivs);
Thu, 19 Oct 2000 02:19:57 +0200 wenzelm tuned;
Wed, 18 Oct 2000 23:31:16 +0200 wenzelm "The Supplemental Isabelle/HOL Library";
less more (0) tip