src/HOL/Library/Library.thy
author paulson
Tue Jan 27 15:39:51 2004 +0100 (2004-01-27)
changeset 14365 3d4df8c166ae
parent 14266 08b34c902618
child 14494 48ae8d678d88
permissions -rw-r--r--
replacing HOL/Real/PRat, PNat by the rational number development
of Markus Wenzel
     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   While_Combinator:
    14 end
    15 (*>*)