src/HOL/Library/Library.thy
changeset 15470 7e12ad2f6672
parent 15324 c27165172e30
child 15731 29ae73d8a84e
     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