/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1995-03-22 12:42 +0100 1783 Acc.ML
-rw-r--r-- 1995-03-22 12:42 +0100 616 Acc.thy
-rw-r--r-- 1995-03-22 12:42 +0100 1508 InSort.ML
-rw-r--r-- 1995-03-22 12:42 +0100 507 InSort.thy
-rw-r--r-- 1995-03-22 12:42 +0100 29856 LList.ML
-rw-r--r-- 1995-03-22 12:42 +0100 4586 LList.thy
-rw-r--r-- 1995-03-22 12:42 +0100 742 LexProd.ML
-rw-r--r-- 1995-03-22 12:42 +0100 387 LexProd.thy
-rw-r--r-- 1995-03-22 12:42 +0100 26552 MT.ML
-rw-r--r-- 1995-03-22 12:42 +0100 7972 MT.thy
-rw-r--r-- 1995-03-22 12:42 +0100 1177 NatSum.ML
-rw-r--r-- 1995-03-22 12:42 +0100 329 NatSum.thy
-rw-r--r-- 1995-03-22 12:42 +0100 7804 PropLog.ML
-rw-r--r-- 1995-03-22 12:42 +0100 1222 PropLog.thy
-rw-r--r-- 1995-03-22 12:42 +0100 1812 Puzzle.ML
-rw-r--r-- 1995-03-22 12:42 +0100 241 Puzzle.thy
-rw-r--r-- 1995-03-22 12:42 +0100 2705 Qsort.ML
-rw-r--r-- 1995-03-22 12:42 +0100 577 Qsort.thy
-rw-r--r-- 1995-03-22 12:42 +0100 856 ROOT.ML
-rw-r--r-- 1995-03-22 12:42 +0100 118 Rec.ML
-rw-r--r-- 1995-03-22 12:42 +0100 258 Rec.thy
-rw-r--r-- 1995-03-22 12:42 +0100 12270 SList.ML
-rw-r--r-- 1995-03-22 12:42 +0100 4062 SList.thy
-rw-r--r-- 1995-03-22 12:42 +0100 9764 Simult.ML
-rw-r--r-- 1995-03-22 12:42 +0100 3023 Simult.thy
-rw-r--r-- 1995-03-22 12:42 +0100 820 Sorting.ML
-rw-r--r-- 1995-03-22 12:42 +0100 821 Sorting.thy
-rw-r--r-- 1995-03-22 12:42 +0100 514 String.ML
-rw-r--r-- 1995-03-22 12:42 +0100 2139 String.thy
-rw-r--r-- 1995-03-22 12:42 +0100 5586 Term.ML
-rw-r--r-- 1995-03-22 12:42 +0100 1647 Term.thy
-rw-r--r-- 1995-03-22 12:42 +0100 11795 cla.ML
-rw-r--r-- 1995-03-22 12:42 +0100 13156 meson.ML
-rw-r--r-- 1995-03-22 12:42 +0100 13436 mesontest.ML
-rw-r--r-- 1995-03-22 12:42 +0100 2829 rel.ML
-rw-r--r-- 1995-03-22 12:42 +0100 4284 set.ML
-rw-r--r-- 1995-03-22 12:42 +0100 2591 unsolved.ML