/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-12-22 00:28 +0100 2076 ABexp.thy
-rw-r--r-- 2005-12-22 00:28 +0100 9292 Com.thy
-rw-r--r-- 2005-12-22 00:28 +0100 6094 Comb.thy
-rw-r--r-- 2005-12-22 00:28 +0100 9478 LFilter.thy
-rw-r--r-- 2005-12-22 00:28 +0100 29882 LList.thy
-rw-r--r-- 2005-12-22 00:28 +0100 4374 Mutil.thy
-rw-r--r-- 2005-12-22 00:28 +0100 1868 Ordinals.thy
-rw-r--r-- 2005-12-22 00:28 +0100 7572 PropLog.thy
-rw-r--r-- 2005-12-22 00:28 +0100 15408 QuoDataType.thy
-rw-r--r-- 2005-12-22 00:28 +0100 15126 QuoNestedDataType.thy
-rw-r--r-- 2005-12-22 00:28 +0100 1451 README.html
-rw-r--r-- 2005-12-22 00:28 +0100 307 ROOT.ML
-rw-r--r-- 2005-12-22 00:28 +0100 28689 SList.thy
-rw-r--r-- 2005-12-22 00:28 +0100 4538 Sexp.thy
-rw-r--r-- 2005-12-22 00:28 +0100 1756 Sigma_Algebra.thy
-rw-r--r-- 2005-12-22 00:28 +0100 1304 Term.thy
-rw-r--r-- 2005-12-22 00:28 +0100 3075 Tree.thy