src/HOL/Library/Library.thy
author skalberg
Mon Mar 29 15:35:04 2004 +0200 (2004-03-29)
changeset 14494 48ae8d678d88
parent 14365 3d4df8c166ae
child 14706 71590b7733b7
permissions -rw-r--r--
Added bitvector library (Word) to HOL/Library and a theory using it (Adder)
to HOL/ex.
     1 (*<*)
     2 theory Library =
     3   Quotient +
     4   Nat_Infinity +
     5   List_Prefix +
     6   Nested_Environment +
     7   Accessible_Part +
     8   Continuity +
     9   Multiset +
    10   Permutation +
    11   NatPair +
    12   Primes +
    13   Word +
    14   While_Combinator:
    15 end
    16 (*>*)