/src/ZF/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2004-10-29 15:16 +0200 1633 Acc.thy
-rw-r--r-- 2004-10-29 15:16 +0200 3642 Binary_Trees.thy
-rw-r--r-- 2004-10-29 15:16 +0200 2598 Brouwer.thy
-rw-r--r-- 2004-10-29 15:16 +0200 8540 Comb.thy
-rw-r--r-- 2004-10-29 15:16 +0200 2179 Datatypes.thy
-rw-r--r-- 2004-10-29 15:16 +0200 15103 FoldSet.thy
-rw-r--r-- 2004-10-29 15:16 +0200 1790 ListN.thy
-rw-r--r-- 2004-10-29 15:16 +0200 52448 Multiset.thy
-rw-r--r-- 2004-10-29 15:16 +0200 5431 Mutil.thy
-rw-r--r-- 2004-10-29 15:16 +0200 5754 Ntree.thy
-rw-r--r-- 2004-10-29 15:16 +0200 11860 Primrec.thy
-rw-r--r-- 2004-10-29 15:16 +0200 10242 PropLog.thy
-rw-r--r-- 2004-10-29 15:16 +0200 1117 ROOT.ML
-rw-r--r-- 2004-10-29 15:16 +0200 2056 Rmap.thy
-rw-r--r-- 2004-10-29 15:16 +0200 8616 Term.thy
-rw-r--r-- 2004-10-29 15:16 +0200 7343 Tree_Forest.thy