/src/HOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2002-02-05 23:18 +0100 9188 AVL.ML
-rw-r--r-- 2002-02-05 23:18 +0100 2510 AVL.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1062 Antiquote.thy
-rw-r--r-- 2002-02-05 23:18 +0100 2273 BT.thy
-rw-r--r-- 2002-02-05 23:18 +0100 6919 BinEx.thy
-rw-r--r-- 2002-02-05 23:18 +0100 6505 Group.ML
-rw-r--r-- 2002-02-05 23:18 +0100 968 Group.thy
-rw-r--r-- 2002-02-05 23:18 +0100 9663 Higher_Order_Logic.thy
-rw-r--r-- 2002-02-05 23:18 +0100 3614 Hilbert_Classical.thy
-rw-r--r-- 2002-02-05 23:18 +0100 971 InSort.ML
-rw-r--r-- 2002-02-05 23:18 +0100 446 InSort.thy
-rw-r--r-- 2002-02-05 23:18 +0100 502 IntRing.ML
-rw-r--r-- 2002-02-05 23:18 +0100 543 IntRing.thy
-rw-r--r-- 2002-02-05 23:18 +0100 7984 Intuitionistic.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1650 Lagrange.ML
-rw-r--r-- 2002-02-05 23:18 +0100 488 Lagrange.thy
-rw-r--r-- 2002-02-05 23:18 +0100 14460 Locales.thy
-rw-r--r-- 2002-02-05 23:18 +0100 23030 MT.ML
-rw-r--r-- 2002-02-05 23:18 +0100 7810 MT.thy
-rw-r--r-- 2002-02-05 23:18 +0100 972 MonoidGroup.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1978 Multiquote.thy
-rw-r--r-- 2002-02-05 23:18 +0100 3181 NatSum.thy
-rw-r--r-- 2002-02-05 23:18 +0100 7770 PER.thy
-rw-r--r-- 2002-02-05 23:18 +0100 9556 Primrec.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1017 Puzzle.ML
-rw-r--r-- 2002-02-05 23:18 +0100 246 Puzzle.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1376 Qsort.ML
-rw-r--r-- 2002-02-05 23:18 +0100 796 Qsort.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1600 README.html
-rw-r--r-- 2002-02-05 23:18 +0100 832 ROOT.ML
-rw-r--r-- 2002-02-05 23:18 +0100 3932 Recdefs.thy
-rw-r--r-- 2002-02-05 23:18 +0100 5595 Records.thy
-rw-r--r-- 2002-02-05 23:18 +0100 3572 Ring.ML
-rw-r--r-- 2002-02-05 23:18 +0100 446 Ring.thy
-rw-r--r-- 2002-02-05 23:18 +0100 4601 SVC_Oracle.ML
-rw-r--r-- 2002-02-05 23:18 +0100 461 SVC_Oracle.thy
-rw-r--r-- 2002-02-05 23:18 +0100 1023 Sorting.ML
-rw-r--r-- 2002-02-05 23:18 +0100 837 Sorting.thy
-rw-r--r-- 2002-02-05 23:18 +0100 504 StringEx.thy
-rw-r--r-- 2002-02-05 23:18 +0100 26729 Tarski.ML
-rw-r--r-- 2002-02-05 23:18 +0100 3694 Tarski.thy
-rw-r--r-- 2002-02-05 23:18 +0100 3449 Tuple.thy
-rw-r--r-- 2002-02-05 23:18 +0100 12874 cla.ML
-rw-r--r-- 2002-02-05 23:18 +0100 17963 mesontest.ML
-rw-r--r-- 2002-02-05 23:18 +0100 267517 mesontest2.ML
-rw-r--r-- 2002-02-05 23:18 +0100 90 mesontest2.thy
-rw-r--r-- 2002-02-05 23:18 +0100 3720 set.ML
-rw-r--r-- 2002-02-05 23:18 +0100 25 set.thy
-rw-r--r-- 2002-02-05 23:18 +0100 9561 svc_funcs.ML
-rw-r--r-- 2002-02-05 23:18 +0100 8258 svc_test.ML
-rw-r--r-- 2002-02-05 23:18 +0100 139 svc_test.thy