/src/ZF/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2011-05-06 17:52 +0200 1654 Acc.thy
-rw-r--r-- 2011-05-06 17:52 +0200 3687 Binary_Trees.thy
-rw-r--r-- 2011-05-06 17:52 +0200 2557 Brouwer.thy
-rw-r--r-- 2011-05-06 17:52 +0200 9054 Comb.thy
-rw-r--r-- 2011-05-06 17:52 +0200 2169 Datatypes.thy
-rw-r--r-- 2011-05-06 17:52 +0200 14157 FoldSet.thy
-rw-r--r-- 2011-05-06 17:52 +0200 1779 ListN.thy
-rw-r--r-- 2011-05-06 17:52 +0200 46248 Multiset.thy
-rw-r--r-- 2011-05-06 17:52 +0200 5413 Mutil.thy
-rw-r--r-- 2011-05-06 17:52 +0200 5533 Ntree.thy
-rw-r--r-- 2011-05-06 17:52 +0200 11949 Primrec.thy
-rw-r--r-- 2011-05-06 17:52 +0200 10287 PropLog.thy
-rw-r--r-- 2011-05-06 17:52 +0200 956 ROOT.ML
-rw-r--r-- 2011-05-06 17:52 +0200 2046 Rmap.thy
-rw-r--r-- 2011-05-06 17:52 +0200 8419 Term.thy
-rw-r--r-- 2011-05-06 17:52 +0200 7399 Tree_Forest.thy