/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-06-28 15:27 +0200 2076 ABexp.thy
-rw-r--r-- 2005-06-28 15:27 +0200 9749 Com.thy
-rw-r--r-- 2005-06-28 15:27 +0200 6137 Comb.thy
-rw-r--r-- 2005-06-28 15:27 +0200 9478 LFilter.thy
-rw-r--r-- 2005-06-28 15:27 +0200 29929 LList.thy
-rw-r--r-- 2005-06-28 15:27 +0200 4376 Mutil.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1868 Ordinals.thy
-rw-r--r-- 2005-06-28 15:27 +0200 7587 PropLog.thy
-rw-r--r-- 2005-06-28 15:27 +0200 15408 QuoDataType.thy
-rw-r--r-- 2005-06-28 15:27 +0200 15114 QuoNestedDataType.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1451 README.html
-rw-r--r-- 2005-06-28 15:27 +0200 296 ROOT.ML
-rw-r--r-- 2005-06-28 15:27 +0200 28713 SList.thy
-rw-r--r-- 2005-06-28 15:27 +0200 4561 Sexp.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1756 Sigma_Algebra.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1304 Term.thy
-rw-r--r-- 2005-06-28 15:27 +0200 3102 Tree.thy