/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-11-27 08:41 +0100 2076 ABexp.thy
-rw-r--r-- 2009-11-27 08:41 +0100 9447 Com.thy
-rw-r--r-- 2009-11-27 08:41 +0100 6123 Comb.thy
-rw-r--r-- 2009-11-27 08:41 +0100 8962 Common_Patterns.thy
-rw-r--r-- 2009-11-27 08:41 +0100 1911 Ordinals.thy
-rw-r--r-- 2009-11-27 08:41 +0100 7510 PropLog.thy
-rw-r--r-- 2009-11-27 08:41 +0100 15347 QuoDataType.thy
-rw-r--r-- 2009-11-27 08:41 +0100 15050 QuoNestedDataType.thy
-rw-r--r-- 2009-11-27 08:41 +0100 1329 README.html
-rw-r--r-- 2009-11-27 08:41 +0100 201 ROOT.ML
-rw-r--r-- 2009-11-27 08:41 +0100 4653 Sexp.thy
-rw-r--r-- 2009-11-27 08:41 +0100 1754 Sigma_Algebra.thy
-rw-r--r-- 2009-11-27 08:41 +0100 1308 Term.thy
-rw-r--r-- 2009-11-27 08:41 +0100 3078 Tree.thy