/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 1851 Acc.ML
-rw-r--r-- 1997-01-23 14:19 +0100 634 Acc.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1561 BT.ML
-rw-r--r-- 1997-01-23 14:19 +0100 1274 BT.thy
-rw-r--r-- 1997-01-23 14:19 +0100 5461 Comb.ML
-rw-r--r-- 1997-01-23 14:19 +0100 1918 Comb.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1215 InSort.ML
-rw-r--r-- 1997-01-23 14:19 +0100 469 InSort.thy
-rw-r--r-- 1997-01-23 14:19 +0100 29571 LList.ML
-rw-r--r-- 1997-01-23 14:19 +0100 4712 LList.thy
-rw-r--r-- 1997-01-23 14:19 +0100 731 LexProd.ML
-rw-r--r-- 1997-01-23 14:19 +0100 399 LexProd.thy
-rw-r--r-- 1997-01-23 14:19 +0100 25223 MT.ML
-rw-r--r-- 1997-01-23 14:19 +0100 7808 MT.thy
-rw-r--r-- 1997-01-23 14:19 +0100 5852 Mutil.ML
-rw-r--r-- 1997-01-23 14:19 +0100 893 Mutil.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1069 NatSum.ML
-rw-r--r-- 1997-01-23 14:19 +0100 334 NatSum.thy
-rw-r--r-- 1997-01-23 14:19 +0100 2663 Perm.ML
-rw-r--r-- 1997-01-23 14:19 +0100 591 Perm.thy
-rw-r--r-- 1997-01-23 14:19 +0100 4633 Primes.ML
-rw-r--r-- 1997-01-23 14:19 +0100 1015 Primes.thy
-rw-r--r-- 1997-01-23 14:19 +0100 7449 PropLog.ML
-rw-r--r-- 1997-01-23 14:19 +0100 1161 PropLog.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1846 Puzzle.ML
-rw-r--r-- 1997-01-23 14:19 +0100 245 Puzzle.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1723 Qsort.ML
-rw-r--r-- 1997-01-23 14:19 +0100 574 Qsort.thy
-rw-r--r-- 1997-01-23 14:19 +0100 937 ROOT.ML
-rw-r--r-- 1997-01-23 14:19 +0100 11595 SList.ML
-rw-r--r-- 1997-01-23 14:19 +0100 4015 SList.thy
-rw-r--r-- 1997-01-23 14:19 +0100 10299 Simult.ML
-rw-r--r-- 1997-01-23 14:19 +0100 3027 Simult.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1116 Sorting.ML
-rw-r--r-- 1997-01-23 14:19 +0100 861 Sorting.thy
-rw-r--r-- 1997-01-23 14:19 +0100 392 String.ML
-rw-r--r-- 1997-01-23 14:19 +0100 2130 String.thy
-rw-r--r-- 1997-01-23 14:19 +0100 6033 Term.ML
-rw-r--r-- 1997-01-23 14:19 +0100 1705 Term.thy
-rw-r--r-- 1997-01-23 14:19 +0100 12475 cla.ML
-rw-r--r-- 1997-01-23 14:19 +0100 15723 meson.ML
-rw-r--r-- 1997-01-23 14:19 +0100 18701 mesontest.ML
-rw-r--r-- 1997-01-23 14:19 +0100 266166 mesontest2.ML
-rw-r--r-- 1997-01-23 14:19 +0100 2824 rel.ML
-rw-r--r-- 1997-01-23 14:19 +0100 4052 set.ML
-rw-r--r-- 1997-01-23 14:19 +0100 2254 unsolved.ML