/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2001-10-01 15:46 +0200 2174 ABexp.thy
-rw-r--r-- 2001-10-01 15:46 +0200 1263 Com.ML
-rw-r--r-- 2001-10-01 15:46 +0200 2031 Com.thy
-rw-r--r-- 2001-10-01 15:46 +0200 5112 Comb.ML
-rw-r--r-- 2001-10-01 15:46 +0200 1941 Comb.thy
-rw-r--r-- 2001-10-01 15:46 +0200 7483 Exp.ML
-rw-r--r-- 2001-10-01 15:46 +0200 896 Exp.thy
-rw-r--r-- 2001-10-01 15:46 +0200 10430 LFilter.ML
-rw-r--r-- 2001-10-01 15:46 +0200 902 LFilter.thy
-rw-r--r-- 2001-10-01 15:46 +0200 26951 LList.ML
-rw-r--r-- 2001-10-01 15:46 +0200 4482 LList.thy
-rw-r--r-- 2001-10-01 15:46 +0200 4251 Mutil.thy
-rw-r--r-- 2001-10-01 15:46 +0200 2037 Ordinals.thy
-rw-r--r-- 2001-10-01 15:46 +0200 6467 PropLog.ML
-rw-r--r-- 2001-10-01 15:46 +0200 1081 PropLog.thy
-rw-r--r-- 2001-10-01 15:46 +0200 1263 README.html
-rw-r--r-- 2001-10-01 15:46 +0200 253 ROOT.ML
-rw-r--r-- 2001-10-01 15:46 +0200 10901 SList.ML
-rw-r--r-- 2001-10-01 15:46 +0200 3675 SList.thy
-rw-r--r-- 2001-10-01 15:46 +0200 3908 Sexp.ML
-rw-r--r-- 2001-10-01 15:46 +0200 1160 Sexp.thy
-rw-r--r-- 2001-10-01 15:46 +0200 1801 Sigma_Algebra.thy
-rw-r--r-- 2001-10-01 15:46 +0200 1488 Term.thy
-rw-r--r-- 2001-10-01 15:46 +0200 908 Tree.thy