/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2007-06-05 09:56 +0200 2076 ABexp.thy
-rw-r--r-- 2007-06-05 09:56 +0200 9013 Com.thy
-rw-r--r-- 2007-06-05 09:56 +0200 6181 Comb.thy
-rw-r--r-- 2007-06-05 09:56 +0200 9502 LFilter.thy
-rw-r--r-- 2007-06-05 09:56 +0200 30176 LList.thy
-rw-r--r-- 2007-06-05 09:56 +0200 4390 Mutil.thy
-rw-r--r-- 2007-06-05 09:56 +0200 1911 Ordinals.thy
-rw-r--r-- 2007-06-05 09:56 +0200 7591 PropLog.thy
-rw-r--r-- 2007-06-05 09:56 +0200 15484 QuoDataType.thy
-rw-r--r-- 2007-06-05 09:56 +0200 15187 QuoNestedDataType.thy
-rw-r--r-- 2007-06-05 09:56 +0200 1451 README.html
-rw-r--r-- 2007-06-05 09:56 +0200 307 ROOT.ML
-rw-r--r-- 2007-06-05 09:56 +0200 29280 SList.thy
-rw-r--r-- 2007-06-05 09:56 +0200 4670 Sexp.thy
-rw-r--r-- 2007-06-05 09:56 +0200 1756 Sigma_Algebra.thy
-rw-r--r-- 2007-06-05 09:56 +0200 1308 Term.thy
-rw-r--r-- 2007-06-05 09:56 +0200 3099 Tree.thy