/src/HOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2004-03-29 15:35 +0200 4233 Adder.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1062 Antiquote.thy
-rw-r--r-- 2004-03-29 15:35 +0200 2273 BT.thy
-rw-r--r-- 2004-03-29 15:35 +0200 10215 BinEx.thy
-rw-r--r-- 2004-03-29 15:35 +0200 24052 Classical.thy
-rw-r--r-- 2004-03-29 15:35 +0200 6505 Group.ML
-rw-r--r-- 2004-03-29 15:35 +0200 968 Group.thy
-rw-r--r-- 2004-03-29 15:35 +0200 9663 Higher_Order_Logic.thy
-rw-r--r-- 2004-03-29 15:35 +0200 3614 Hilbert_Classical.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1210 InSort.thy
-rw-r--r-- 2004-03-29 15:35 +0200 3806 InductiveInvariant.thy
-rw-r--r-- 2004-03-29 15:35 +0200 4184 InductiveInvariant_examples.thy
-rw-r--r-- 2004-03-29 15:35 +0200 502 IntRing.ML
-rw-r--r-- 2004-03-29 15:35 +0200 543 IntRing.thy
-rw-r--r-- 2004-03-29 15:35 +0200 7984 Intuitionistic.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1650 Lagrange.ML
-rw-r--r-- 2004-03-29 15:35 +0200 488 Lagrange.thy
-rw-r--r-- 2004-03-29 15:35 +0200 21123 Locales.thy
-rw-r--r-- 2004-03-29 15:35 +0200 23030 MT.ML
-rw-r--r-- 2004-03-29 15:35 +0200 7810 MT.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1356 MergeSort.thy
-rw-r--r-- 2004-03-29 15:35 +0200 972 MonoidGroup.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1978 Multiquote.thy
-rw-r--r-- 2004-03-29 15:35 +0200 3181 NatSum.thy
-rw-r--r-- 2004-03-29 15:35 +0200 7770 PER.thy
-rw-r--r-- 2004-03-29 15:35 +0200 3039 PresburgerEx.thy
-rw-r--r-- 2004-03-29 15:35 +0200 9556 Primrec.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1027 Puzzle.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1631 Qsort.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1600 README.html
-rw-r--r-- 2004-03-29 15:35 +0200 941 ROOT.ML
-rw-r--r-- 2004-03-29 15:35 +0200 3925 Recdefs.thy
-rw-r--r-- 2004-03-29 15:35 +0200 5595 Records.thy
-rw-r--r-- 2004-03-29 15:35 +0200 9789 Refute_Examples.thy
-rw-r--r-- 2004-03-29 15:35 +0200 3572 Ring.ML
-rw-r--r-- 2004-03-29 15:35 +0200 446 Ring.thy
-rw-r--r-- 2004-03-29 15:35 +0200 4608 SVC_Oracle.ML
-rw-r--r-- 2004-03-29 15:35 +0200 461 SVC_Oracle.thy
-rw-r--r-- 2004-03-29 15:35 +0200 1756 Sorting.thy
-rw-r--r-- 2004-03-29 15:35 +0200 504 StringEx.thy
-rw-r--r-- 2004-03-29 15:35 +0200 28817 Tarski.thy
-rw-r--r-- 2004-03-29 15:35 +0200 3449 Tuple.thy
-rw-r--r-- 2004-03-29 15:35 +0200 293597 mesontest2.ML
-rw-r--r-- 2004-03-29 15:35 +0200 90 mesontest2.thy
-rw-r--r-- 2004-03-29 15:35 +0200 6793 set.thy
-rw-r--r-- 2004-03-29 15:35 +0200 9561 svc_funcs.ML
-rw-r--r-- 2004-03-29 15:35 +0200 8258 svc_test.ML
-rw-r--r-- 2004-03-29 15:35 +0200 146 svc_test.thy