src/HOL/Library/Library.thy
author paulson
Tue Jun 28 15:27:45 2005 +0200 (2005-06-28)
changeset 16587 b34c8aa657a5
parent 16109 e8c169d6f191
child 16908 d374530bfaaa
permissions -rw-r--r--
Constant "If" is now local
     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 (*>*)