/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2010-03-13 14:44 +0100 2076 ABexp.thy
-rw-r--r-- 2010-03-13 14:44 +0100 9447 Com.thy
-rw-r--r-- 2010-03-13 14:44 +0100 5682 Comb.thy
-rw-r--r-- 2010-03-13 14:44 +0100 8962 Common_Patterns.thy
-rw-r--r-- 2010-03-13 14:44 +0100 1911 Ordinals.thy
-rw-r--r-- 2010-03-13 14:44 +0100 7510 PropLog.thy
-rw-r--r-- 2010-03-13 14:44 +0100 15347 QuoDataType.thy
-rw-r--r-- 2010-03-13 14:44 +0100 15050 QuoNestedDataType.thy
-rw-r--r-- 2010-03-13 14:44 +0100 1329 README.html
-rw-r--r-- 2010-03-13 14:44 +0100 210 ROOT.ML
-rw-r--r-- 2010-03-13 14:44 +0100 12551 SList.thy
-rw-r--r-- 2010-03-13 14:44 +0100 4653 Sexp.thy
-rw-r--r-- 2010-03-13 14:44 +0100 1754 Sigma_Algebra.thy
-rw-r--r-- 2010-03-13 14:44 +0100 1308 Term.thy
-rw-r--r-- 2010-03-13 14:44 +0100 3083 Tree.thy