/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 18:02 +0200 9171 AVL.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2511 AVL.thy
-rw-r--r-- 2000-05-30 18:02 +0200 900 Antiquote.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1329 BT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1207 BT.thy
-rw-r--r-- 2000-05-30 18:02 +0200 7173 BinEx.ML
-rw-r--r-- 2000-05-30 18:02 +0200 626 BinEx.thy
-rw-r--r-- 2000-05-30 18:02 +0200 8663 Factorization.ML
-rw-r--r-- 2000-05-30 18:02 +0200 821 Factorization.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3593 Fib.ML
-rw-r--r-- 2000-05-30 18:02 +0200 407 Fib.thy
-rw-r--r-- 2000-05-30 18:02 +0200 6445 Group.ML
-rw-r--r-- 2000-05-30 18:02 +0200 968 Group.thy
-rw-r--r-- 2000-05-30 18:02 +0200 971 InSort.ML
-rw-r--r-- 2000-05-30 18:02 +0200 446 InSort.thy
-rw-r--r-- 2000-05-30 18:02 +0200 502 IntRing.ML
-rw-r--r-- 2000-05-30 18:02 +0200 565 IntRing.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1607 Lagrange.ML
-rw-r--r-- 2000-05-30 18:02 +0200 484 Lagrange.thy
-rw-r--r-- 2000-05-30 18:02 +0200 4415 LocaleGroup.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1205 LocaleGroup.thy
-rw-r--r-- 2000-05-30 18:02 +0200 23026 MT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 7810 MT.thy
-rw-r--r-- 2000-05-30 18:02 +0200 900 MonoidGroup.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1393 Multiquote.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2872 NatSum.ML
-rw-r--r-- 2000-05-30 18:02 +0200 14 NatSum.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2942 PiSets.ML
-rw-r--r-- 2000-05-30 18:02 +0200 682 PiSets.thy
-rw-r--r-- 2000-05-30 18:02 +0200 4385 Points.thy
-rw-r--r-- 2000-05-30 18:02 +0200 5547 Primes.ML
-rw-r--r-- 2000-05-30 18:02 +0200 974 Primes.thy
-rw-r--r-- 2000-05-30 18:02 +0200 8250 Primrec.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2004 Primrec.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1016 Puzzle.ML
-rw-r--r-- 2000-05-30 18:02 +0200 246 Puzzle.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1404 Qsort.ML
-rw-r--r-- 2000-05-30 18:02 +0200 796 Qsort.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1505 README.html
-rw-r--r-- 2000-05-30 18:02 +0200 1125 ROOT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1011 Recdefs.ML
-rw-r--r-- 2000-05-30 18:02 +0200 3124 Recdefs.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3572 Ring.ML
-rw-r--r-- 2000-05-30 18:02 +0200 446 Ring.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1036 Sorting.ML
-rw-r--r-- 2000-05-30 18:02 +0200 837 Sorting.thy
-rw-r--r-- 2000-05-30 18:02 +0200 326 StringEx.ML
-rw-r--r-- 2000-05-30 18:02 +0200 19 StringEx.thy
-rw-r--r-- 2000-05-30 18:02 +0200 26114 Tarski.ML
-rw-r--r-- 2000-05-30 18:02 +0200 3698 Tarski.thy
-rw-r--r-- 2000-05-30 18:02 +0200 12815 cla.ML
-rw-r--r-- 2000-05-30 18:02 +0200 15241 meson.ML
-rw-r--r-- 2000-05-30 18:02 +0200 18246 mesontest.ML
-rw-r--r-- 2000-05-30 18:02 +0200 267342 mesontest2.ML
-rw-r--r-- 2000-05-30 18:02 +0200 4020 set.ML
-rw-r--r-- 2000-05-30 18:02 +0200 8309 svc_test.ML
-rw-r--r-- 2000-05-30 18:02 +0200 139 svc_test.thy