src/HOL/Library/Library.thy
changeset 11349 fcb507c945c3
parent 11055 b84dd2c25a1c
child 11368 9c1995c73383
     1.1 --- a/src/HOL/Library/Library.thy	Thu May 31 16:52:47 2001 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu May 31 16:52:54 2001 +0200
     1.3 @@ -2,10 +2,12 @@
     1.4  theory Library =
     1.5    Quotient +
     1.6    Ring_and_Field + Ring_and_Field_Example +
     1.7 +  Nat_Infinity +
     1.8    Rational_Numbers +
     1.9    List_Prefix +
    1.10    Nested_Environment +
    1.11    Accessible_Part +
    1.12 +  Continuity +
    1.13    Multiset +
    1.14    Permutation +
    1.15    While_Combinator: