/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-05-22 15:11 +0200 1561 BT.ML
-rw-r--r-- 1997-05-22 15:11 +0200 1274 BT.thy
-rw-r--r-- 1997-05-22 15:11 +0200 2316 Fib.ML
-rw-r--r-- 1997-05-22 15:11 +0200 411 Fib.thy
-rw-r--r-- 1997-05-22 15:11 +0200 1215 InSort.ML
-rw-r--r-- 1997-05-22 15:11 +0200 469 InSort.thy
-rw-r--r-- 1997-05-22 15:11 +0200 24212 MT.ML
-rw-r--r-- 1997-05-22 15:11 +0200 7808 MT.thy
-rw-r--r-- 1997-05-22 15:11 +0200 1073 NatSum.ML
-rw-r--r-- 1997-05-22 15:11 +0200 322 NatSum.thy
-rw-r--r-- 1997-05-22 15:11 +0200 4038 Primes.ML
-rw-r--r-- 1997-05-22 15:11 +0200 913 Primes.thy
-rw-r--r-- 1997-05-22 15:11 +0200 1849 Puzzle.ML
-rw-r--r-- 1997-05-22 15:11 +0200 245 Puzzle.thy
-rw-r--r-- 1997-05-22 15:11 +0200 1723 Qsort.ML
-rw-r--r-- 1997-05-22 15:11 +0200 574 Qsort.thy
-rw-r--r-- 1997-05-22 15:11 +0200 1171 README.html
-rw-r--r-- 1997-05-22 15:11 +0200 811 ROOT.ML
-rw-r--r-- 1997-05-22 15:11 +0200 1116 Sorting.ML
-rw-r--r-- 1997-05-22 15:11 +0200 861 Sorting.thy
-rw-r--r-- 1997-05-22 15:11 +0200 392 String.ML
-rw-r--r-- 1997-05-22 15:11 +0200 2130 String.thy
-rw-r--r-- 1997-05-22 15:11 +0200 12451 cla.ML
-rw-r--r-- 1997-05-22 15:11 +0200 15723 meson.ML
-rw-r--r-- 1997-05-22 15:11 +0200 18751 mesontest.ML
-rw-r--r-- 1997-05-22 15:11 +0200 266166 mesontest2.ML
-rw-r--r-- 1997-05-22 15:11 +0200 2824 rel.ML
-rw-r--r-- 1997-05-22 15:11 +0200 4426 set.ML
-rw-r--r-- 1997-05-22 15:11 +0200 2254 unsolved.ML