src/HOL/Library/Library.thy
Wed, 06 Dec 2000 20:45:36 +0100 wenzelm Rational_Numbers;
Fri, 17 Nov 2000 18:47:33 +0100 wenzelm Ring_and_Field;
Wed, 25 Oct 2000 18:32:40 +0200 wenzelm added List_Prefix;
Wed, 18 Oct 2000 23:31:16 +0200 wenzelm "The Supplemental Isabelle/HOL Library";
less more (0) tip