/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 2001-01-31 10:15 +0100 724 ABexp.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1633 ABexp.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1263 Com.ML
-rw-r--r-- 2001-01-31 10:15 +0100 2029 Com.thy
-rw-r--r-- 2001-01-31 10:15 +0100 5079 Comb.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1916 Comb.thy
-rw-r--r-- 2001-01-31 10:15 +0100 7483 Exp.ML
-rw-r--r-- 2001-01-31 10:15 +0100 896 Exp.thy
-rw-r--r-- 2001-01-31 10:15 +0100 10430 LFilter.ML
-rw-r--r-- 2001-01-31 10:15 +0100 902 LFilter.thy
-rw-r--r-- 2001-01-31 10:15 +0100 27024 LList.ML
-rw-r--r-- 2001-01-31 10:15 +0100 4482 LList.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3454 Mutil.ML
-rw-r--r-- 2001-01-31 10:15 +0100 804 Mutil.thy
-rw-r--r-- 2001-01-31 10:15 +0100 4207 Perm.ML
-rw-r--r-- 2001-01-31 10:15 +0100 731 Perm.thy
-rw-r--r-- 2001-01-31 10:15 +0100 6467 PropLog.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1081 PropLog.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1578 README.html
-rw-r--r-- 2001-01-31 10:15 +0100 339 ROOT.ML
-rw-r--r-- 2001-01-31 10:15 +0100 11160 SList.ML
-rw-r--r-- 2001-01-31 10:15 +0100 3639 SList.thy
-rw-r--r-- 2001-01-31 10:15 +0100 3920 Sexp.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1155 Sexp.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1772 Sigma_Algebra.thy
-rw-r--r-- 2001-01-31 10:15 +0100 872 Term.ML
-rw-r--r-- 2001-01-31 10:15 +0100 716 Term.thy
-rw-r--r-- 2001-01-31 10:15 +0100 526 Tree.ML
-rw-r--r-- 2001-01-31 10:15 +0100 567 Tree.thy