/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1996-03-13 11:55 +0100 1892 Acc.ML
-rw-r--r-- 1996-03-13 11:55 +0100 634 Acc.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1561 BT.ML
-rw-r--r-- 1996-03-13 11:55 +0100 1435 BT.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1330 InSort.ML
-rw-r--r-- 1996-03-13 11:55 +0100 510 InSort.thy
-rw-r--r-- 1996-03-13 11:55 +0100 29777 LList.ML
-rw-r--r-- 1996-03-13 11:55 +0100 4712 LList.thy
-rw-r--r-- 1996-03-13 11:55 +0100 749 LexProd.ML
-rw-r--r-- 1996-03-13 11:55 +0100 399 LexProd.thy
-rw-r--r-- 1996-03-13 11:55 +0100 25079 MT.ML
-rw-r--r-- 1996-03-13 11:55 +0100 7808 MT.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1047 NatSum.ML
-rw-r--r-- 1996-03-13 11:55 +0100 334 NatSum.thy
-rw-r--r-- 1996-03-13 11:55 +0100 2751 Perm.ML
-rw-r--r-- 1996-03-13 11:55 +0100 593 Perm.thy
-rw-r--r-- 1996-03-13 11:55 +0100 7631 PropLog.ML
-rw-r--r-- 1996-03-13 11:55 +0100 1229 PropLog.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1791 Puzzle.ML
-rw-r--r-- 1996-03-13 11:55 +0100 246 Puzzle.thy
-rw-r--r-- 1996-03-13 11:55 +0100 2587 Qsort.ML
-rw-r--r-- 1996-03-13 11:55 +0100 574 Qsort.thy
-rw-r--r-- 1996-03-13 11:55 +0100 825 ROOT.ML
-rw-r--r-- 1996-03-13 11:55 +0100 118 Rec.ML
-rw-r--r-- 1996-03-13 11:55 +0100 263 Rec.thy
-rw-r--r-- 1996-03-13 11:55 +0100 12207 SList.ML
-rw-r--r-- 1996-03-13 11:55 +0100 4104 SList.thy
-rw-r--r-- 1996-03-13 11:55 +0100 10563 Simult.ML
-rw-r--r-- 1996-03-13 11:55 +0100 3027 Simult.thy
-rw-r--r-- 1996-03-13 11:55 +0100 764 Sorting.ML
-rw-r--r-- 1996-03-13 11:55 +0100 818 Sorting.thy
-rw-r--r-- 1996-03-13 11:55 +0100 387 String.ML
-rw-r--r-- 1996-03-13 11:55 +0100 2130 String.thy
-rw-r--r-- 1996-03-13 11:55 +0100 6018 Term.ML
-rw-r--r-- 1996-03-13 11:55 +0100 1705 Term.thy
-rw-r--r-- 1996-03-13 11:55 +0100 12300 cla.ML
-rw-r--r-- 1996-03-13 11:55 +0100 13418 meson.ML
-rw-r--r-- 1996-03-13 11:55 +0100 14263 mesontest.ML
-rw-r--r-- 1996-03-13 11:55 +0100 2840 rel.ML
-rw-r--r-- 1996-03-13 11:55 +0100 4352 set.ML
-rw-r--r-- 1996-03-13 11:55 +0100 2700 unsolved.ML