/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2006-01-30 08:20 +0100 2076 ABexp.thy
-rw-r--r-- 2006-01-30 08:20 +0100 9292 Com.thy
-rw-r--r-- 2006-01-30 08:20 +0100 6094 Comb.thy
-rw-r--r-- 2006-01-30 08:20 +0100 9478 LFilter.thy
-rw-r--r-- 2006-01-30 08:20 +0100 29882 LList.thy
-rw-r--r-- 2006-01-30 08:20 +0100 4374 Mutil.thy
-rw-r--r-- 2006-01-30 08:20 +0100 1868 Ordinals.thy
-rw-r--r-- 2006-01-30 08:20 +0100 7572 PropLog.thy
-rw-r--r-- 2006-01-30 08:20 +0100 15476 QuoDataType.thy
-rw-r--r-- 2006-01-30 08:20 +0100 15191 QuoNestedDataType.thy
-rw-r--r-- 2006-01-30 08:20 +0100 1451 README.html
-rw-r--r-- 2006-01-30 08:20 +0100 307 ROOT.ML
-rw-r--r-- 2006-01-30 08:20 +0100 28689 SList.thy
-rw-r--r-- 2006-01-30 08:20 +0100 4538 Sexp.thy
-rw-r--r-- 2006-01-30 08:20 +0100 1756 Sigma_Algebra.thy
-rw-r--r-- 2006-01-30 08:20 +0100 1308 Term.thy
-rw-r--r-- 2006-01-30 08:20 +0100 3075 Tree.thy