/src/HOL/Induct/
drwxr-xr-x [up]
-rw-r--r-- 2000-11-24 16:49 +0100 724 ABexp.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1633 ABexp.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1533 Com.ML
-rw-r--r-- 2000-11-24 16:49 +0100 2473 Com.thy
-rw-r--r-- 2000-11-24 16:49 +0100 5079 Comb.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1916 Comb.thy
-rw-r--r-- 2000-11-24 16:49 +0100 7466 Exp.ML
-rw-r--r-- 2000-11-24 16:49 +0100 896 Exp.thy
-rw-r--r-- 2000-11-24 16:49 +0100 10430 LFilter.ML
-rw-r--r-- 2000-11-24 16:49 +0100 902 LFilter.thy
-rw-r--r-- 2000-11-24 16:49 +0100 27031 LList.ML
-rw-r--r-- 2000-11-24 16:49 +0100 4485 LList.thy
-rw-r--r-- 2000-11-24 16:49 +0100 3454 Mutil.ML
-rw-r--r-- 2000-11-24 16:49 +0100 804 Mutil.thy
-rw-r--r-- 2000-11-24 16:49 +0100 4207 Perm.ML
-rw-r--r-- 2000-11-24 16:49 +0100 731 Perm.thy
-rw-r--r-- 2000-11-24 16:49 +0100 6772 PropLog.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1155 PropLog.thy
-rw-r--r-- 2000-11-24 16:49 +0100 1578 README.html
-rw-r--r-- 2000-11-24 16:49 +0100 362 ROOT.ML
-rw-r--r-- 2000-11-24 16:49 +0100 11160 SList.ML
-rw-r--r-- 2000-11-24 16:49 +0100 3639 SList.thy
-rw-r--r-- 2000-11-24 16:49 +0100 3920 Sexp.ML
-rw-r--r-- 2000-11-24 16:49 +0100 1155 Sexp.thy
-rw-r--r-- 2000-11-24 16:49 +0100 872 Term.ML
-rw-r--r-- 2000-11-24 16:49 +0100 716 Term.thy
-rw-r--r-- 2000-11-24 16:49 +0100 526 Tree.ML
-rw-r--r-- 2000-11-24 16:49 +0100 567 Tree.thy