/src/HOL/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2016-02-22 14:37 +0000 2224 ABexp.thy
-rw-r--r-- 2016-02-22 14:37 +0000 9635 Com.thy
-rw-r--r-- 2016-02-22 14:37 +0000 7059 Comb.thy
-rw-r--r-- 2016-02-22 14:37 +0000 10613 Common_Patterns.thy
-rw-r--r-- 2016-02-22 14:37 +0000 1895 Nested_Datatype.thy
-rw-r--r-- 2016-02-22 14:37 +0000 2133 Ordinals.thy
-rw-r--r-- 2016-02-22 14:37 +0000 8048 PropLog.thy
-rw-r--r-- 2016-02-22 14:37 +0000 15854 QuoDataType.thy
-rw-r--r-- 2016-02-22 14:37 +0000 15822 QuoNestedDataType.thy
-rw-r--r-- 2016-02-22 14:37 +0000 12608 SList.thy
-rw-r--r-- 2016-02-22 14:37 +0000 4705 Sexp.thy
-rw-r--r-- 2016-02-22 14:37 +0000 1850 Sigma_Algebra.thy
-rw-r--r-- 2016-02-22 14:37 +0000 1528 Term.thy
-rw-r--r-- 2016-02-22 14:37 +0000 3424 Tree.thy