/src/ZF/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2013-03-27 16:38 +0100 1686 Acc.thy
-rw-r--r-- 2013-03-27 16:38 +0100 3669 Binary_Trees.thy
-rw-r--r-- 2013-03-27 16:38 +0100 2547 Brouwer.thy
-rw-r--r-- 2013-03-27 16:38 +0100 9208 Comb.thy
-rw-r--r-- 2013-03-27 16:38 +0100 2169 Datatypes.thy
-rw-r--r-- 2013-03-27 16:38 +0100 14601 FoldSet.thy
-rw-r--r-- 2013-03-27 16:38 +0100 1797 ListN.thy
-rw-r--r-- 2013-03-27 16:38 +0100 46932 Multiset.thy
-rw-r--r-- 2013-03-27 16:38 +0100 5488 Mutil.thy
-rw-r--r-- 2013-03-27 16:38 +0100 5533 Ntree.thy
-rw-r--r-- 2013-03-27 16:38 +0100 11949 Primrec.thy
-rw-r--r-- 2013-03-27 16:38 +0100 10387 PropLog.thy
-rw-r--r-- 2013-03-27 16:38 +0100 2046 Rmap.thy
-rw-r--r-- 2013-03-27 16:38 +0100 8369 Term.thy
-rw-r--r-- 2013-03-27 16:38 +0100 7387 Tree_Forest.thy