/src/ZF/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2007-10-03 21:29 +0200 1675 Acc.thy
-rw-r--r-- 2007-10-03 21:29 +0200 3700 Binary_Trees.thy
-rw-r--r-- 2007-10-03 21:29 +0200 2577 Brouwer.thy
-rw-r--r-- 2007-10-03 21:29 +0200 9054 Comb.thy
-rw-r--r-- 2007-10-03 21:29 +0200 2190 Datatypes.thy
-rw-r--r-- 2007-10-03 21:29 +0200 15114 FoldSet.thy
-rw-r--r-- 2007-10-03 21:29 +0200 1800 ListN.thy
-rw-r--r-- 2007-10-03 21:29 +0200 52282 Multiset.thy
-rw-r--r-- 2007-10-03 21:29 +0200 5426 Mutil.thy
-rw-r--r-- 2007-10-03 21:29 +0200 5538 Ntree.thy
-rw-r--r-- 2007-10-03 21:29 +0200 11903 Primrec.thy
-rw-r--r-- 2007-10-03 21:29 +0200 10287 PropLog.thy
-rw-r--r-- 2007-10-03 21:29 +0200 977 ROOT.ML
-rw-r--r-- 2007-10-03 21:29 +0200 2067 Rmap.thy
-rw-r--r-- 2007-10-03 21:29 +0200 8347 Term.thy
-rw-r--r-- 2007-10-03 21:29 +0200 7417 Tree_Forest.thy