/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1995-11-21 12:43 +0100 1804 Acc.ML
-rw-r--r-- 1995-11-21 12:43 +0100 613 Acc.thy
-rw-r--r-- 1995-11-21 12:43 +0100 1554 BT.ML
-rw-r--r-- 1995-11-21 12:43 +0100 1435 BT.thy
-rw-r--r-- 1995-11-21 12:43 +0100 1323 InSort.ML
-rw-r--r-- 1995-11-21 12:43 +0100 507 InSort.thy
-rw-r--r-- 1995-11-21 12:43 +0100 29234 LList.ML
-rw-r--r-- 1995-11-21 12:43 +0100 4531 LList.thy
-rw-r--r-- 1995-11-21 12:43 +0100 742 LexProd.ML
-rw-r--r-- 1995-11-21 12:43 +0100 385 LexProd.thy
-rw-r--r-- 1995-11-21 12:43 +0100 25065 MT.ML
-rw-r--r-- 1995-11-21 12:43 +0100 7853 MT.thy
-rw-r--r-- 1995-11-21 12:43 +0100 1040 NatSum.ML
-rw-r--r-- 1995-11-21 12:43 +0100 329 NatSum.thy
-rw-r--r-- 1995-11-21 12:43 +0100 2737 Perm.ML
-rw-r--r-- 1995-11-21 12:43 +0100 588 Perm.thy
-rw-r--r-- 1995-11-21 12:43 +0100 7603 PropLog.ML
-rw-r--r-- 1995-11-21 12:43 +0100 1222 PropLog.thy
-rw-r--r-- 1995-11-21 12:43 +0100 1784 Puzzle.ML
-rw-r--r-- 1995-11-21 12:43 +0100 241 Puzzle.thy
-rw-r--r-- 1995-11-21 12:43 +0100 2580 Qsort.ML
-rw-r--r-- 1995-11-21 12:43 +0100 569 Qsort.thy
-rw-r--r-- 1995-11-21 12:43 +0100 819 ROOT.ML
-rw-r--r-- 1995-11-21 12:43 +0100 118 Rec.ML
-rw-r--r-- 1995-11-21 12:43 +0100 258 Rec.thy
-rw-r--r-- 1995-11-21 12:43 +0100 11643 SList.ML
-rw-r--r-- 1995-11-21 12:43 +0100 4059 SList.thy
-rw-r--r-- 1995-11-21 12:43 +0100 9712 Simult.ML
-rw-r--r-- 1995-11-21 12:43 +0100 3003 Simult.thy
-rw-r--r-- 1995-11-21 12:43 +0100 757 Sorting.ML
-rw-r--r-- 1995-11-21 12:43 +0100 821 Sorting.thy
-rw-r--r-- 1995-11-21 12:43 +0100 387 String.ML
-rw-r--r-- 1995-11-21 12:43 +0100 2136 String.thy
-rw-r--r-- 1995-11-21 12:43 +0100 5487 Term.ML
-rw-r--r-- 1995-11-21 12:43 +0100 1643 Term.thy
-rw-r--r-- 1995-11-21 12:43 +0100 11795 cla.ML
-rw-r--r-- 1995-11-21 12:43 +0100 13156 meson.ML
-rw-r--r-- 1995-11-21 12:43 +0100 13569 mesontest.ML
-rw-r--r-- 1995-11-21 12:43 +0100 2829 rel.ML
-rw-r--r-- 1995-11-21 12:43 +0100 4284 set.ML
-rw-r--r-- 1995-11-21 12:43 +0100 2591 unsolved.ML