Cross Reference: /seL4-l4v-master/isabelle/src/ZF/Induct/

Name		Date	Size
..		30-Oct-2020	56
Acc.thy	H A D	25-Jul-2019	1.7 KiB
Binary_Trees.thy	H A D	25-Jul-2019	3.8 KiB
Brouwer.thy	H A D	25-Jul-2019	2.6 KiB
Comb.thy	H A D	25-Jul-2019	10.1 KiB
Datatypes.thy	H A D	25-Jul-2019	2.2 KiB
document/	H	25-Jul-2019	4
FoldSet.thy	H A D	25-Jul-2019	14.4 KiB
ListN.thy	H A D	25-Jul-2019	1.8 KiB
Multiset.thy	H A D	25-Jul-2019	46.1 KiB
Mutil.thy	H A D	25-Jul-2019	5.4 KiB
Ntree.thy	H A D	25-Jul-2019	5.6 KiB
Primrec.thy	H A D	25-Jul-2019	12.2 KiB
PropLog.thy	H A D	25-Jul-2019	10.8 KiB
Rmap.thy	H A D	25-Jul-2019	2 KiB
Term.thy	H A D	25-Jul-2019	8.6 KiB
Tree_Forest.thy	H A D	25-Jul-2019	7.5 KiB