src/HOL/Library/Library.thy
author haftmann
Fri Oct 12 08:21:09 2007 +0200 (2007-10-12)
changeset 24994 c385c4eabb3b
parent 24626 85eceef2edc7
child 25315 6ff4305d2f7c
permissions -rw-r--r--
consolidated naming conventions for code generator theories
     1 (* $Id$ *)
     2 (*<*)
     3 theory Library
     4 imports
     5   Abstract_Rat
     6   AssocList
     7   BigO
     8   Binomial
     9   Boolean_Algebra
    10   Char_ord
    11   Code_Index
    12   Code_Message
    13   Coinductive_List
    14   Commutative_Ring
    15   Continuity
    16   Efficient_Nat
    17   (*Eval*)
    18   Eval_Witness
    19   Executable_Set
    20   FuncSet
    21   GCD
    22   Infinite_Set
    23   Multiset
    24   NatPair
    25   Nat_Infinity
    26   Nested_Environment
    27   Numeral_Type
    28   OptionalSugar
    29   Parity
    30   Permutation
    31   Code_Integer
    32   Code_Char_chr
    33   Primes
    34   Quicksort
    35   Quotient
    36   Ramsey
    37   State_Monad
    38   Size_Change_Termination
    39   While_Combinator
    40   Word
    41   Zorn
    42 begin
    43 end
    44 (*>*)