/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1995-06-29 12:48 +0200 1804 Acc.ML
-rw-r--r-- 1995-06-29 12:48 +0200 616 Acc.thy
-rw-r--r-- 1995-06-29 12:48 +0200 1508 InSort.ML
-rw-r--r-- 1995-06-29 12:48 +0200 507 InSort.thy
-rw-r--r-- 1995-06-29 12:48 +0200 30002 LList.ML
-rw-r--r-- 1995-06-29 12:48 +0200 4531 LList.thy
-rw-r--r-- 1995-06-29 12:48 +0200 742 LexProd.ML
-rw-r--r-- 1995-06-29 12:48 +0200 385 LexProd.thy
-rw-r--r-- 1995-06-29 12:48 +0200 24962 MT.ML
-rw-r--r-- 1995-06-29 12:48 +0200 7853 MT.thy
-rw-r--r-- 1995-06-29 12:48 +0200 1177 NatSum.ML
-rw-r--r-- 1995-06-29 12:48 +0200 329 NatSum.thy
-rw-r--r-- 1995-06-29 12:48 +0200 7804 PropLog.ML
-rw-r--r-- 1995-06-29 12:48 +0200 1222 PropLog.thy
-rw-r--r-- 1995-06-29 12:48 +0200 1812 Puzzle.ML
-rw-r--r-- 1995-06-29 12:48 +0200 241 Puzzle.thy
-rw-r--r-- 1995-06-29 12:48 +0200 2705 Qsort.ML
-rw-r--r-- 1995-06-29 12:48 +0200 569 Qsort.thy
-rw-r--r-- 1995-06-29 12:48 +0200 810 ROOT.ML
-rw-r--r-- 1995-06-29 12:48 +0200 118 Rec.ML
-rw-r--r-- 1995-06-29 12:48 +0200 258 Rec.thy
-rw-r--r-- 1995-06-29 12:48 +0200 12270 SList.ML
-rw-r--r-- 1995-06-29 12:48 +0200 4054 SList.thy
-rw-r--r-- 1995-06-29 12:48 +0200 9764 Simult.ML
-rw-r--r-- 1995-06-29 12:48 +0200 3003 Simult.thy
-rw-r--r-- 1995-06-29 12:48 +0200 820 Sorting.ML
-rw-r--r-- 1995-06-29 12:48 +0200 821 Sorting.thy
-rw-r--r-- 1995-06-29 12:48 +0200 514 String.ML
-rw-r--r-- 1995-06-29 12:48 +0200 2136 String.thy
-rw-r--r-- 1995-06-29 12:48 +0200 5586 Term.ML
-rw-r--r-- 1995-06-29 12:48 +0200 1643 Term.thy
-rw-r--r-- 1995-06-29 12:48 +0200 11795 cla.ML
-rw-r--r-- 1995-06-29 12:48 +0200 13156 meson.ML
-rw-r--r-- 1995-06-29 12:48 +0200 13436 mesontest.ML
-rw-r--r-- 1995-06-29 12:48 +0200 2829 rel.ML
-rw-r--r-- 1995-06-29 12:48 +0200 4284 set.ML
-rw-r--r-- 1995-06-29 12:48 +0200 2591 unsolved.ML