/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 2001-01-31 10:15 +0100 9171 AVL.ML
-rw-r--r-- 2001-01-31 10:15 +0100 2511 AVL.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1011 Antiquote.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1329 BT.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1207 BT.thy
-rw-r--r-- 2001-01-31 10:15 +0100 7173 BinEx.ML
-rw-r--r-- 2001-01-31 10:15 +0100 627 BinEx.thy
-rw-r--r-- 2001-01-31 10:15 +0100 6445 Group.ML
-rw-r--r-- 2001-01-31 10:15 +0100 968 Group.thy
-rw-r--r-- 2001-01-31 10:15 +0100 971 InSort.ML
-rw-r--r-- 2001-01-31 10:15 +0100 446 InSort.thy
-rw-r--r-- 2001-01-31 10:15 +0100 502 IntRing.ML
-rw-r--r-- 2001-01-31 10:15 +0100 565 IntRing.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1607 Lagrange.ML
-rw-r--r-- 2001-01-31 10:15 +0100 484 Lagrange.thy
-rw-r--r-- 2001-01-31 10:15 +0100 4415 LocaleGroup.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1211 LocaleGroup.thy
-rw-r--r-- 2001-01-31 10:15 +0100 23030 MT.ML
-rw-r--r-- 2001-01-31 10:15 +0100 7810 MT.thy
-rw-r--r-- 2001-01-31 10:15 +0100 957 MonoidGroup.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1619 Multiquote.thy
-rw-r--r-- 2001-01-31 10:15 +0100 2767 NatSum.ML
-rw-r--r-- 2001-01-31 10:15 +0100 14 NatSum.thy
-rw-r--r-- 2001-01-31 10:15 +0100 7737 PER.thy
-rw-r--r-- 2001-01-31 10:15 +0100 2903 PiSets.ML
-rw-r--r-- 2001-01-31 10:15 +0100 695 PiSets.thy
-rw-r--r-- 2001-01-31 10:15 +0100 8181 Primrec.ML
-rw-r--r-- 2001-01-31 10:15 +0100 2004 Primrec.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1014 Puzzle.ML
-rw-r--r-- 2001-01-31 10:15 +0100 246 Puzzle.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1376 Qsort.ML
-rw-r--r-- 2001-01-31 10:15 +0100 796 Qsort.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1505 README.html
-rw-r--r-- 2001-01-31 10:15 +0100 877 ROOT.ML
-rw-r--r-- 2001-01-31 10:15 +0100 999 Recdefs.ML
-rw-r--r-- 2001-01-31 10:15 +0100 3124 Recdefs.thy
-rw-r--r-- 2001-01-31 10:15 +0100 5113 Records.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3572 Ring.ML
-rw-r--r-- 2001-01-31 10:15 +0100 446 Ring.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1036 Sorting.ML
-rw-r--r-- 2001-01-31 10:15 +0100 837 Sorting.thy
-rw-r--r-- 2001-01-31 10:15 +0100 326 StringEx.ML
-rw-r--r-- 2001-01-31 10:15 +0100 472 StringEx.thy
-rw-r--r-- 2001-01-31 10:15 +0100 26104 Tarski.ML
-rw-r--r-- 2001-01-31 10:15 +0100 3697 Tarski.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3445 Tuple.thy
-rw-r--r-- 2001-01-31 10:15 +0100 12839 cla.ML
-rw-r--r-- 2001-01-31 10:15 +0100 17987 mesontest.ML
-rw-r--r-- 2001-01-31 10:15 +0100 267393 mesontest2.ML
-rw-r--r-- 2001-01-31 10:15 +0100 201 mesontest2.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3720 set.ML
-rw-r--r-- 2001-01-31 10:15 +0100 25 set.thy
-rw-r--r-- 2001-01-31 10:15 +0100 8293 svc_test.ML
-rw-r--r-- 2001-01-31 10:15 +0100 139 svc_test.thy