/src/ZF/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2014-11-09 17:04 +0100 1690 Acc.thy
-rw-r--r-- 2014-11-09 17:04 +0100 3670 Binary_Trees.thy
-rw-r--r-- 2014-11-09 17:04 +0100 2548 Brouwer.thy
-rw-r--r-- 2014-11-09 17:04 +0100 9205 Comb.thy
-rw-r--r-- 2014-11-09 17:04 +0100 2170 Datatypes.thy
-rw-r--r-- 2014-11-09 17:04 +0100 14601 FoldSet.thy
-rw-r--r-- 2014-11-09 17:04 +0100 1801 ListN.thy
-rw-r--r-- 2014-11-09 17:04 +0100 46953 Multiset.thy
-rw-r--r-- 2014-11-09 17:04 +0100 5489 Mutil.thy
-rw-r--r-- 2014-11-09 17:04 +0100 5534 Ntree.thy
-rw-r--r-- 2014-11-09 17:04 +0100 11968 Primrec.thy
-rw-r--r-- 2014-11-09 17:04 +0100 10388 PropLog.thy
-rw-r--r-- 2014-11-09 17:04 +0100 2047 Rmap.thy
-rw-r--r-- 2014-11-09 17:04 +0100 8370 Term.thy
-rw-r--r-- 2014-11-09 17:04 +0100 7388 Tree_Forest.thy