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