/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-11-05 13:23 +0100 1563 BT.ML
-rw-r--r-- 1997-11-05 13:23 +0100 1274 BT.thy
-rw-r--r-- 1997-11-05 13:23 +0100 2314 Fib.ML
-rw-r--r-- 1997-11-05 13:23 +0100 390 Fib.thy
-rw-r--r-- 1997-11-05 13:23 +0100 1148 InSort.ML
-rw-r--r-- 1997-11-05 13:23 +0100 469 InSort.thy
-rw-r--r-- 1997-11-05 13:23 +0100 24135 MT.ML
-rw-r--r-- 1997-11-05 13:23 +0100 7810 MT.thy
-rw-r--r-- 1997-11-05 13:23 +0100 1055 NatSum.ML
-rw-r--r-- 1997-11-05 13:23 +0100 322 NatSum.thy
-rw-r--r-- 1997-11-05 13:23 +0100 3241 Primes.ML
-rw-r--r-- 1997-11-05 13:23 +0100 1087 Primes.thy
-rw-r--r-- 1997-11-05 13:23 +0100 8378 Primrec.ML
-rw-r--r-- 1997-11-05 13:23 +0100 2038 Primrec.thy
-rw-r--r-- 1997-11-05 13:23 +0100 1863 Puzzle.ML
-rw-r--r-- 1997-11-05 13:23 +0100 245 Puzzle.thy
-rw-r--r-- 1997-11-05 13:23 +0100 1619 Qsort.ML
-rw-r--r-- 1997-11-05 13:23 +0100 574 Qsort.thy
-rw-r--r-- 1997-11-05 13:23 +0100 1171 README.html
-rw-r--r-- 1997-11-05 13:23 +0100 858 ROOT.ML
-rw-r--r-- 1997-11-05 13:23 +0100 1269 Recdef.ML
-rw-r--r-- 1997-11-05 13:23 +0100 3565 Recdef.thy
-rw-r--r-- 1997-11-05 13:23 +0100 1066 Sorting.ML
-rw-r--r-- 1997-11-05 13:23 +0100 853 Sorting.thy
-rw-r--r-- 1997-11-05 13:23 +0100 392 String.ML
-rw-r--r-- 1997-11-05 13:23 +0100 2136 String.thy
-rw-r--r-- 1997-11-05 13:23 +0100 12459 cla.ML
-rw-r--r-- 1997-11-05 13:23 +0100 15706 meson.ML
-rw-r--r-- 1997-11-05 13:23 +0100 18776 mesontest.ML
-rw-r--r-- 1997-11-05 13:23 +0100 266117 mesontest2.ML
-rw-r--r-- 1997-11-05 13:23 +0100 2826 rel.ML
-rw-r--r-- 1997-11-05 13:23 +0100 4309 set.ML
-rw-r--r-- 1997-11-05 13:23 +0100 2254 unsolved.ML