/src/HOL/Library/
drwxr-xr-x [up]
drwxr-xr-x Library
-rw-r--r-- 2006-02-16 21:12 +0100 1869 Accessible_Part.thy
-rwxr-xr-x 2006-02-16 21:12 +0100 25353 BigO.thy
-rw-r--r-- 2006-02-16 21:12 +0100 2839 Char_ord.thy
-rw-r--r-- 2006-02-16 21:12 +0100 26857 Coinductive_List.thy
-rw-r--r-- 2006-02-16 21:12 +0100 11024 Commutative_Ring.thy
-rw-r--r-- 2006-02-16 21:12 +0100 5976 Continuity.thy
-rw-r--r-- 2006-02-16 21:12 +0100 7422 EfficientNat.thy
-rw-r--r-- 2006-02-16 21:12 +0100 4656 ExecutableRat.thy
-rw-r--r-- 2006-02-16 21:12 +0100 3273 ExecutableSet.thy
-rw-r--r-- 2006-02-16 21:12 +0100 7477 FuncSet.thy
-rw-r--r-- 2006-02-16 21:12 +0100 3415 LaTeXsugar.thy
-rw-r--r-- 2006-02-16 21:12 +0100 313 Library.thy
-rw-r--r-- 2006-02-16 21:12 +0100 8415 List_Prefix.thy
-rw-r--r-- 2006-02-16 21:12 +0100 1640 List_lexord.thy
-rw-r--r-- 2006-02-16 21:12 +0100 27495 Multiset.thy
-rw-r--r-- 2006-02-16 21:12 +0100 2810 NatPair.thy
-rw-r--r-- 2006-02-16 21:12 +0100 5752 Nat_Infinity.thy
-rw-r--r-- 2006-02-16 21:12 +0100 14435 Nested_Environment.thy
-rw-r--r-- 2006-02-16 21:12 +0100 1082 OptionalSugar.thy
-rw-r--r-- 2006-02-16 21:12 +0100 5015 Permutation.thy
-rw-r--r-- 2006-02-16 21:12 +0100 1327 Primes.thy
-rw-r--r-- 2006-02-16 21:12 +0100 674 Product_ord.thy
-rw-r--r-- 2006-02-16 21:12 +0100 6307 Quotient.thy
-rw-r--r-- 2006-02-16 21:12 +0100 4395 README.html
-rwxr-xr-x 2006-02-16 21:12 +0100 10245 SetsAndFunctions.thy
-rw-r--r-- 2006-02-16 21:12 +0100 4929 While_Combinator.thy
-rw-r--r-- 2006-02-16 21:12 +0100 78673 Word.thy
-rw-r--r-- 2006-02-16 21:12 +0100 8748 Zorn.thy
-rw-r--r-- 2006-02-16 21:12 +0100 5270 comm_ring.ML
-rw-r--r-- 2006-02-16 21:12 +0100 1970 word_setup.ML