/src/HOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2001-10-25 22:43 +0200 9171 AVL.ML
-rw-r--r-- 2001-10-25 22:43 +0200 2510 AVL.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1062 Antiquote.thy
-rw-r--r-- 2001-10-25 22:43 +0200 2273 BT.thy
-rw-r--r-- 2001-10-25 22:43 +0200 6434 BinEx.thy
-rw-r--r-- 2001-10-25 22:43 +0200 6505 Group.ML
-rw-r--r-- 2001-10-25 22:43 +0200 968 Group.thy
-rw-r--r-- 2001-10-25 22:43 +0200 3614 Hilbert_Classical.thy
-rw-r--r-- 2001-10-25 22:43 +0200 971 InSort.ML
-rw-r--r-- 2001-10-25 22:43 +0200 446 InSort.thy
-rw-r--r-- 2001-10-25 22:43 +0200 502 IntRing.ML
-rw-r--r-- 2001-10-25 22:43 +0200 543 IntRing.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1650 Lagrange.ML
-rw-r--r-- 2001-10-25 22:43 +0200 488 Lagrange.thy
-rw-r--r-- 2001-10-25 22:43 +0200 23030 MT.ML
-rw-r--r-- 2001-10-25 22:43 +0200 7810 MT.thy
-rw-r--r-- 2001-10-25 22:43 +0200 972 MonoidGroup.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1978 Multiquote.thy
-rw-r--r-- 2001-10-25 22:43 +0200 3136 NatSum.thy
-rw-r--r-- 2001-10-25 22:43 +0200 7737 PER.thy
-rw-r--r-- 2001-10-25 22:43 +0200 9556 Primrec.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1014 Puzzle.ML
-rw-r--r-- 2001-10-25 22:43 +0200 246 Puzzle.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1376 Qsort.ML
-rw-r--r-- 2001-10-25 22:43 +0200 796 Qsort.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1600 README.html
-rw-r--r-- 2001-10-25 22:43 +0200 852 ROOT.ML
-rw-r--r-- 2001-10-25 22:43 +0200 3932 Recdefs.thy
-rw-r--r-- 2001-10-25 22:43 +0200 5597 Records.thy
-rw-r--r-- 2001-10-25 22:43 +0200 3572 Ring.ML
-rw-r--r-- 2001-10-25 22:43 +0200 446 Ring.thy
-rw-r--r-- 2001-10-25 22:43 +0200 1036 Sorting.ML
-rw-r--r-- 2001-10-25 22:43 +0200 837 Sorting.thy
-rw-r--r-- 2001-10-25 22:43 +0200 504 StringEx.thy
-rw-r--r-- 2001-10-25 22:43 +0200 26741 Tarski.ML
-rw-r--r-- 2001-10-25 22:43 +0200 3697 Tarski.thy
-rw-r--r-- 2001-10-25 22:43 +0200 3448 Tuple.thy
-rw-r--r-- 2001-10-25 22:43 +0200 12874 cla.ML
-rw-r--r-- 2001-10-25 22:43 +0200 17963 mesontest.ML
-rw-r--r-- 2001-10-25 22:43 +0200 267517 mesontest2.ML
-rw-r--r-- 2001-10-25 22:43 +0200 90 mesontest2.thy
-rw-r--r-- 2001-10-25 22:43 +0200 3720 set.ML
-rw-r--r-- 2001-10-25 22:43 +0200 25 set.thy
-rw-r--r-- 2001-10-25 22:43 +0200 8258 svc_test.ML
-rw-r--r-- 2001-10-25 22:43 +0200 139 svc_test.thy