/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1998-01-08 18:10 +0100 1563 BT.ML
-rw-r--r-- 1998-01-08 18:10 +0100 1274 BT.thy
-rw-r--r-- 1998-01-08 18:10 +0100 2448 Fib.ML
-rw-r--r-- 1998-01-08 18:10 +0100 390 Fib.thy
-rw-r--r-- 1998-01-08 18:10 +0100 1148 InSort.ML
-rw-r--r-- 1998-01-08 18:10 +0100 469 InSort.thy
-rw-r--r-- 1998-01-08 18:10 +0100 24134 MT.ML
-rw-r--r-- 1998-01-08 18:10 +0100 7810 MT.thy
-rw-r--r-- 1998-01-08 18:10 +0100 1051 NatSum.ML
-rw-r--r-- 1998-01-08 18:10 +0100 322 NatSum.thy
-rw-r--r-- 1998-01-08 18:10 +0100 3192 Primes.ML
-rw-r--r-- 1998-01-08 18:10 +0100 1087 Primes.thy
-rw-r--r-- 1998-01-08 18:10 +0100 8378 Primrec.ML
-rw-r--r-- 1998-01-08 18:10 +0100 2038 Primrec.thy
-rw-r--r-- 1998-01-08 18:10 +0100 1863 Puzzle.ML
-rw-r--r-- 1998-01-08 18:10 +0100 245 Puzzle.thy
-rw-r--r-- 1998-01-08 18:10 +0100 1621 Qsort.ML
-rw-r--r-- 1998-01-08 18:10 +0100 574 Qsort.thy
-rw-r--r-- 1998-01-08 18:10 +0100 1171 README.html
-rw-r--r-- 1998-01-08 18:10 +0100 854 ROOT.ML
-rw-r--r-- 1998-01-08 18:10 +0100 1274 Recdef.ML
-rw-r--r-- 1998-01-08 18:10 +0100 3565 Recdef.thy
-rw-r--r-- 1998-01-08 18:10 +0100 1066 Sorting.ML
-rw-r--r-- 1998-01-08 18:10 +0100 853 Sorting.thy
-rw-r--r-- 1998-01-08 18:10 +0100 392 String.ML
-rw-r--r-- 1998-01-08 18:10 +0100 2248 String.thy
-rw-r--r-- 1998-01-08 18:10 +0100 12825 cla.ML
-rw-r--r-- 1998-01-08 18:10 +0100 15686 meson.ML
-rw-r--r-- 1998-01-08 18:10 +0100 18776 mesontest.ML
-rw-r--r-- 1998-01-08 18:10 +0100 266115 mesontest2.ML
-rw-r--r-- 1998-01-08 18:10 +0100 2826 rel.ML
-rw-r--r-- 1998-01-08 18:10 +0100 4515 set.ML
-rw-r--r-- 1998-01-08 18:10 +0100 2254 unsolved.ML