Session ZF-Induct

Theories

• Datatypes
• Binary_Trees
• Term
• Ntree
• Tree_Forest
• Brouwer
• Mutil
• FoldSet
• Acc
• Multiset
• Rmap
• PropLog
• ListN
• Comb
• Primrec