src/HOL/Library/Library.thy
Wed, 18 Oct 2000 23:31:16 +0200 wenzelm "The Supplemental Isabelle/HOL Library";
less more (0) tip