1.1 --- a/src/HOL/Library/Library.thy Wed Jan 26 13:50:59 2005 +0100
1.2 +++ b/src/HOL/Library/Library.thy Wed Jan 26 16:39:44 2005 +0100
1.3 @@ -10,6 +10,7 @@
1.4 NatPair
1.5 Nat_Infinity
1.6 Nested_Environment
1.7 + OptionalSugar
1.8 Permutation
1.9 Primes
1.10 Quotient