| 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, 04 Feb 2001 19:43:15 +0100 | wenzelm | added Permutation; | file | diff | annotate |
| Fri, 26 Jan 2001 15:50:52 +0100 | nipkow | Merged Example into While_Combi | file | diff | annotate |
| Sat, 20 Jan 2001 00:35:10 +0100 | wenzelm | Ring_and_Field_Example; | file | diff | annotate |
| Fri, 19 Jan 2001 23:53:07 +0100 | wenzelm | added HOL/Library/Nested_Environment.thy; | file | diff | annotate |
| Wed, 06 Dec 2000 21:52:49 +0100 | wenzelm | activate Rational_Numbers; | file | diff | annotate |
| Wed, 06 Dec 2000 21:32:25 +0100 | wenzelm | deactivate Rational_Numbers (tmp!); | file | diff | annotate |
| Wed, 06 Dec 2000 20:45:36 +0100 | wenzelm | Rational_Numbers; | file | diff | annotate |
| Fri, 17 Nov 2000 18:47:33 +0100 | wenzelm | Ring_and_Field; | file | diff | annotate |
| Wed, 25 Oct 2000 18:32:40 +0200 | wenzelm | added List_Prefix; | file | diff | annotate |
| Wed, 18 Oct 2000 23:31:16 +0200 | wenzelm | "The Supplemental Isabelle/HOL Library"; | file | diff | annotate |