/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 1851 Acc.ML
-rw-r--r-- 1997-04-08 10:48 +0200 634 Acc.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1561 BT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1274 BT.thy
-rw-r--r-- 1997-04-08 10:48 +0200 5475 Comb.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1918 Comb.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1215 InSort.ML
-rw-r--r-- 1997-04-08 10:48 +0200 469 InSort.thy
-rw-r--r-- 1997-04-08 10:48 +0200 29664 LList.ML
-rw-r--r-- 1997-04-08 10:48 +0200 4712 LList.thy
-rw-r--r-- 1997-04-08 10:48 +0200 731 LexProd.ML
-rw-r--r-- 1997-04-08 10:48 +0200 399 LexProd.thy
-rw-r--r-- 1997-04-08 10:48 +0200 25223 MT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 7808 MT.thy
-rw-r--r-- 1997-04-08 10:48 +0200 5831 Mutil.ML
-rw-r--r-- 1997-04-08 10:48 +0200 893 Mutil.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1069 NatSum.ML
-rw-r--r-- 1997-04-08 10:48 +0200 334 NatSum.thy
-rw-r--r-- 1997-04-08 10:48 +0200 2663 Perm.ML
-rw-r--r-- 1997-04-08 10:48 +0200 591 Perm.thy
-rw-r--r-- 1997-04-08 10:48 +0200 4633 Primes.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1015 Primes.thy
-rw-r--r-- 1997-04-08 10:48 +0200 7449 PropLog.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1161 PropLog.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1849 Puzzle.ML
-rw-r--r-- 1997-04-08 10:48 +0200 245 Puzzle.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1723 Qsort.ML
-rw-r--r-- 1997-04-08 10:48 +0200 574 Qsort.thy
-rw-r--r-- 1997-04-08 10:48 +0200 937 ROOT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 11595 SList.ML
-rw-r--r-- 1997-04-08 10:48 +0200 4015 SList.thy
-rw-r--r-- 1997-04-08 10:48 +0200 10299 Simult.ML
-rw-r--r-- 1997-04-08 10:48 +0200 3027 Simult.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1116 Sorting.ML
-rw-r--r-- 1997-04-08 10:48 +0200 861 Sorting.thy
-rw-r--r-- 1997-04-08 10:48 +0200 392 String.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2130 String.thy
-rw-r--r-- 1997-04-08 10:48 +0200 6033 Term.ML
-rw-r--r-- 1997-04-08 10:48 +0200 1705 Term.thy
-rw-r--r-- 1997-04-08 10:48 +0200 12494 cla.ML
-rw-r--r-- 1997-04-08 10:48 +0200 15723 meson.ML
-rw-r--r-- 1997-04-08 10:48 +0200 18751 mesontest.ML
-rw-r--r-- 1997-04-08 10:48 +0200 266166 mesontest2.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2824 rel.ML
-rw-r--r-- 1997-04-08 10:48 +0200 4052 set.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2254 unsolved.ML