/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-11-03 08:08 +0100 1561 BT.ML
-rw-r--r-- 1997-11-03 08:08 +0100 1274 BT.thy
-rw-r--r-- 1997-11-03 08:08 +0100 2307 Fib.ML
-rw-r--r-- 1997-11-03 08:08 +0100 390 Fib.thy
-rw-r--r-- 1997-11-03 08:08 +0100 1145 InSort.ML
-rw-r--r-- 1997-11-03 08:08 +0100 469 InSort.thy
-rw-r--r-- 1997-11-03 08:08 +0100 24220 MT.ML
-rw-r--r-- 1997-11-03 08:08 +0100 7810 MT.thy
-rw-r--r-- 1997-11-03 08:08 +0100 1055 NatSum.ML
-rw-r--r-- 1997-11-03 08:08 +0100 322 NatSum.thy
-rw-r--r-- 1997-11-03 08:08 +0100 3230 Primes.ML
-rw-r--r-- 1997-11-03 08:08 +0100 1087 Primes.thy
-rw-r--r-- 1997-11-03 08:08 +0100 8366 Primrec.ML
-rw-r--r-- 1997-11-03 08:08 +0100 2038 Primrec.thy
-rw-r--r-- 1997-11-03 08:08 +0100 1855 Puzzle.ML
-rw-r--r-- 1997-11-03 08:08 +0100 245 Puzzle.thy
-rw-r--r-- 1997-11-03 08:08 +0100 1616 Qsort.ML
-rw-r--r-- 1997-11-03 08:08 +0100 574 Qsort.thy
-rw-r--r-- 1997-11-03 08:08 +0100 1171 README.html
-rw-r--r-- 1997-11-03 08:08 +0100 858 ROOT.ML
-rw-r--r-- 1997-11-03 08:08 +0100 1267 Recdef.ML
-rw-r--r-- 1997-11-03 08:08 +0100 3563 Recdef.thy
-rw-r--r-- 1997-11-03 08:08 +0100 1062 Sorting.ML
-rw-r--r-- 1997-11-03 08:08 +0100 853 Sorting.thy
-rw-r--r-- 1997-11-03 08:08 +0100 392 String.ML
-rw-r--r-- 1997-11-03 08:08 +0100 2136 String.thy
-rw-r--r-- 1997-11-03 08:08 +0100 12474 cla.ML
-rw-r--r-- 1997-11-03 08:08 +0100 15729 meson.ML
-rw-r--r-- 1997-11-03 08:08 +0100 18776 mesontest.ML
-rw-r--r-- 1997-11-03 08:08 +0100 266117 mesontest2.ML
-rw-r--r-- 1997-11-03 08:08 +0100 2824 rel.ML
-rw-r--r-- 1997-11-03 08:08 +0100 4420 set.ML
-rw-r--r-- 1997-11-03 08:08 +0100 2254 unsolved.ML