/src/HOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-02-02 18:06 +0100 4126 Adder.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1013 Antiquote.thy
-rw-r--r-- 2005-02-02 18:06 +0100 2273 BT.thy
-rw-r--r-- 2005-02-02 18:06 +0100 7063 BinEx.thy
-rw-r--r-- 2005-02-02 18:06 +0100 24797 Classical.thy
-rw-r--r-- 2005-02-02 18:06 +0100 9596 Higher_Order_Logic.thy
-rw-r--r-- 2005-02-02 18:06 +0100 3565 Hilbert_Classical.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1210 InSort.thy
-rw-r--r-- 2005-02-02 18:06 +0100 3806 InductiveInvariant.thy
-rw-r--r-- 2005-02-02 18:06 +0100 4184 InductiveInvariant_examples.thy
-rw-r--r-- 2005-02-02 18:06 +0100 7984 Intuitionistic.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1953 Lagrange.thy
-rw-r--r-- 2005-02-02 18:06 +0100 21074 Locales.thy
-rw-r--r-- 2005-02-02 18:06 +0100 23171 MT.ML
-rw-r--r-- 2005-02-02 18:06 +0100 7849 MT.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1356 MergeSort.thy
-rw-r--r-- 2005-02-02 18:06 +0100 923 MonoidGroup.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1929 Multiquote.thy
-rw-r--r-- 2005-02-02 18:06 +0100 3103 NatSum.thy
-rw-r--r-- 2005-02-02 18:06 +0100 7770 PER.thy
-rw-r--r-- 2005-02-02 18:06 +0100 2801 PresburgerEx.thy
-rw-r--r-- 2005-02-02 18:06 +0100 9556 Primrec.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1027 Puzzle.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1637 Qsort.thy
-rw-r--r-- 2005-02-02 18:06 +0100 3233 Quickcheck_Examples.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1710 README.html
-rw-r--r-- 2005-02-02 18:06 +0100 1039 ROOT.ML
-rw-r--r-- 2005-02-02 18:06 +0100 4129 Recdefs.thy
-rw-r--r-- 2005-02-02 18:06 +0100 5749 Records.thy
-rw-r--r-- 2005-02-02 18:06 +0100 10870 Refute_Examples.thy
-rw-r--r-- 2005-02-02 18:06 +0100 4608 SVC_Oracle.ML
-rw-r--r-- 2005-02-02 18:06 +0100 461 SVC_Oracle.thy
-rw-r--r-- 2005-02-02 18:06 +0100 1756 Sorting.thy
-rw-r--r-- 2005-02-02 18:06 +0100 504 StringEx.thy
-rw-r--r-- 2005-02-02 18:06 +0100 28787 Tarski.thy
-rw-r--r-- 2005-02-02 18:06 +0100 3400 Tuple.thy
-rw-r--r-- 2005-02-02 18:06 +0100 207951 mesontest2.ML
-rw-r--r-- 2005-02-02 18:06 +0100 83 mesontest2.thy
-rw-r--r-- 2005-02-02 18:06 +0100 6757 set.thy
-rw-r--r-- 2005-02-02 18:06 +0100 9572 svc_funcs.ML
-rw-r--r-- 2005-02-02 18:06 +0100 8258 svc_test.ML
-rw-r--r-- 2005-02-02 18:06 +0100 146 svc_test.thy