src/HOL/Library/Library.thy
author nipkow
Thu Apr 14 17:57:04 2005 +0200 (2005-04-14)
changeset 15731 29ae73d8a84e
parent 15470 7e12ad2f6672
child 16109 e8c169d6f191
permissions -rw-r--r--
Removed dir Orderings in Library
     1 (*<*)
     2 theory Library
     3 imports
     4   Accessible_Part
     5   Continuity
     6   EfficientNat
     7   FuncSet
     8   Multiset
     9   NatPair
    10   Nat_Infinity
    11   Nested_Environment
    12   OptionalSugar
    13   Permutation
    14   Primes
    15   Quotient
    16   While_Combinator
    17   Word
    18   Zorn
    19   List_Prefix
    20   Char_ord
    21   List_lexord
    22 begin
    23 end
    24 (*>*)