/src/ZF/Induct/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2017-11-04 19:17 +0100 1729 Acc.thy
-rw-r--r-- 2017-11-04 19:17 +0100 3779 Binary_Trees.thy
-rw-r--r-- 2017-11-04 19:17 +0100 2673 Brouwer.thy
-rw-r--r-- 2017-11-04 19:17 +0100 10197 Comb.thy
-rw-r--r-- 2017-11-04 19:17 +0100 2240 Datatypes.thy
-rw-r--r-- 2017-11-04 19:17 +0100 14681 FoldSet.thy
-rw-r--r-- 2017-11-04 19:17 +0100 1826 ListN.thy
-rw-r--r-- 2017-11-04 19:17 +0100 47034 Multiset.thy
-rw-r--r-- 2017-11-04 19:17 +0100 5548 Mutil.thy
-rw-r--r-- 2017-11-04 19:17 +0100 5751 Ntree.thy
-rw-r--r-- 2017-11-04 19:17 +0100 12511 Primrec.thy
-rw-r--r-- 2017-11-04 19:17 +0100 10888 PropLog.thy
-rw-r--r-- 2017-11-04 19:17 +0100 2077 Rmap.thy
-rw-r--r-- 2017-11-04 19:17 +0100 8686 Term.thy
-rw-r--r-- 2017-11-04 19:17 +0100 7629 Tree_Forest.thy