Tue, 25 May 2010 21:49:44 +0200 | wenzelm | eliminated slightly odd Library/Library session setup (cf. d7711be8c3a9) which is obsolete due to usedir -f HOL_Library_ROOT.ML; | file | diff | annotate | base |
Sat, 09 Jun 2001 14:18:19 +0200 | wenzelm | tuned Primes theory; | file | diff | annotate |
Thu, 31 May 2001 16:52:54 +0200 | oheimb | added Library/Nat_Infinity.thy and Library/Continuity.thy | file | diff | annotate |
Sun, 22 Oct 2000 22:18:40 +0200 | wenzelm | simplified quotients (only plain total equivs); | file | diff | annotate |
Thu, 19 Oct 2000 02:19:57 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 18 Oct 2000 23:31:16 +0200 | wenzelm | "The Supplemental Isabelle/HOL Library"; | file | diff | annotate |