/src/HOL/ex/ Isabelle94-3
drwxr-xr-x [up]
-rw-r--r-- 1995-04-25 11:14 +0200 1804 Acc.ML
-rw-r--r-- 1995-04-25 11:14 +0200 616 Acc.thy
-rw-r--r-- 1995-04-25 11:14 +0200 1508 InSort.ML
-rw-r--r-- 1995-04-25 11:14 +0200 507 InSort.thy
-rw-r--r-- 1995-04-25 11:14 +0200 30002 LList.ML
-rw-r--r-- 1995-04-25 11:14 +0200 4571 LList.thy
-rw-r--r-- 1995-04-25 11:14 +0200 742 LexProd.ML
-rw-r--r-- 1995-04-25 11:14 +0200 387 LexProd.thy
-rw-r--r-- 1995-04-25 11:14 +0200 24962 MT.ML
-rw-r--r-- 1995-04-25 11:14 +0200 7971 MT.thy
-rw-r--r-- 1995-04-25 11:14 +0200 1177 NatSum.ML
-rw-r--r-- 1995-04-25 11:14 +0200 329 NatSum.thy
-rw-r--r-- 1995-04-25 11:14 +0200 7804 PropLog.ML
-rw-r--r-- 1995-04-25 11:14 +0200 1222 PropLog.thy
-rw-r--r-- 1995-04-25 11:14 +0200 1812 Puzzle.ML
-rw-r--r-- 1995-04-25 11:14 +0200 241 Puzzle.thy
-rw-r--r-- 1995-04-25 11:14 +0200 2705 Qsort.ML
-rw-r--r-- 1995-04-25 11:14 +0200 577 Qsort.thy
-rw-r--r-- 1995-04-25 11:14 +0200 815 ROOT.ML
-rw-r--r-- 1995-04-25 11:14 +0200 118 Rec.ML
-rw-r--r-- 1995-04-25 11:14 +0200 258 Rec.thy
-rw-r--r-- 1995-04-25 11:14 +0200 12270 SList.ML
-rw-r--r-- 1995-04-25 11:14 +0200 4062 SList.thy
-rw-r--r-- 1995-04-25 11:14 +0200 9764 Simult.ML
-rw-r--r-- 1995-04-25 11:14 +0200 3023 Simult.thy
-rw-r--r-- 1995-04-25 11:14 +0200 820 Sorting.ML
-rw-r--r-- 1995-04-25 11:14 +0200 821 Sorting.thy
-rw-r--r-- 1995-04-25 11:14 +0200 514 String.ML
-rw-r--r-- 1995-04-25 11:14 +0200 2136 String.thy
-rw-r--r-- 1995-04-25 11:14 +0200 5586 Term.ML
-rw-r--r-- 1995-04-25 11:14 +0200 1647 Term.thy
-rw-r--r-- 1995-04-25 11:14 +0200 11795 cla.ML
-rw-r--r-- 1995-04-25 11:14 +0200 13156 meson.ML
-rw-r--r-- 1995-04-25 11:14 +0200 13436 mesontest.ML
-rw-r--r-- 1995-04-25 11:14 +0200 2829 rel.ML
-rw-r--r-- 1995-04-25 11:14 +0200 4284 set.ML
-rw-r--r-- 1995-04-25 11:14 +0200 2591 unsolved.ML