/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1996-10-07 10:28 +0200 1851 Acc.ML
-rw-r--r-- 1996-10-07 10:28 +0200 634 Acc.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1561 BT.ML
-rw-r--r-- 1996-10-07 10:28 +0200 1274 BT.thy
-rw-r--r-- 1996-10-07 10:28 +0200 5461 Comb.ML
-rw-r--r-- 1996-10-07 10:28 +0200 1918 Comb.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1337 InSort.ML
-rw-r--r-- 1996-10-07 10:28 +0200 469 InSort.thy
-rw-r--r-- 1996-10-07 10:28 +0200 29571 LList.ML
-rw-r--r-- 1996-10-07 10:28 +0200 4712 LList.thy
-rw-r--r-- 1996-10-07 10:28 +0200 731 LexProd.ML
-rw-r--r-- 1996-10-07 10:28 +0200 399 LexProd.thy
-rw-r--r-- 1996-10-07 10:28 +0200 25223 MT.ML
-rw-r--r-- 1996-10-07 10:28 +0200 7808 MT.thy
-rw-r--r-- 1996-10-07 10:28 +0200 5921 Mutil.ML
-rw-r--r-- 1996-10-07 10:28 +0200 893 Mutil.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1069 NatSum.ML
-rw-r--r-- 1996-10-07 10:28 +0200 334 NatSum.thy
-rw-r--r-- 1996-10-07 10:28 +0200 2663 Perm.ML
-rw-r--r-- 1996-10-07 10:28 +0200 591 Perm.thy
-rw-r--r-- 1996-10-07 10:28 +0200 4655 Primes.ML
-rw-r--r-- 1996-10-07 10:28 +0200 1015 Primes.thy
-rw-r--r-- 1996-10-07 10:28 +0200 7449 PropLog.ML
-rw-r--r-- 1996-10-07 10:28 +0200 1161 PropLog.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1846 Puzzle.ML
-rw-r--r-- 1996-10-07 10:28 +0200 246 Puzzle.thy
-rw-r--r-- 1996-10-07 10:28 +0200 3018 Qsort.ML
-rw-r--r-- 1996-10-07 10:28 +0200 574 Qsort.thy
-rw-r--r-- 1996-10-07 10:28 +0200 937 ROOT.ML
-rw-r--r-- 1996-10-07 10:28 +0200 11595 SList.ML
-rw-r--r-- 1996-10-07 10:28 +0200 4015 SList.thy
-rw-r--r-- 1996-10-07 10:28 +0200 10299 Simult.ML
-rw-r--r-- 1996-10-07 10:28 +0200 3027 Simult.thy
-rw-r--r-- 1996-10-07 10:28 +0200 768 Sorting.ML
-rw-r--r-- 1996-10-07 10:28 +0200 818 Sorting.thy
-rw-r--r-- 1996-10-07 10:28 +0200 392 String.ML
-rw-r--r-- 1996-10-07 10:28 +0200 2130 String.thy
-rw-r--r-- 1996-10-07 10:28 +0200 6033 Term.ML
-rw-r--r-- 1996-10-07 10:28 +0200 1705 Term.thy
-rw-r--r-- 1996-10-07 10:28 +0200 12475 cla.ML
-rw-r--r-- 1996-10-07 10:28 +0200 15723 meson.ML
-rw-r--r-- 1996-10-07 10:28 +0200 18651 mesontest.ML
-rw-r--r-- 1996-10-07 10:28 +0200 266113 mesontest2.ML
-rw-r--r-- 1996-10-07 10:28 +0200 2824 rel.ML
-rw-r--r-- 1996-10-07 10:28 +0200 4052 set.ML
-rw-r--r-- 1996-10-07 10:28 +0200 2254 unsolved.ML