Ancestors of theory inductive2

The name of every theory is linked to its theory file
\/ stands for subtheories (child theories)
/\ stands for supertheories (parent theories)
... stands for repeated subtrees

Back to the index of Bali_ASCII2 

inductive2 \/
 \__Gfp \//\
 |   \__Lfp \//\
 |       \__mono \//\
 |       |   \__equalities \//\
 |       |       \__subset \//\
 |       |           \__Fun \//\
 |       |               \__Vimage \//\
 |       |                   \__Set \//\
 |       |                       \__Ord \//\
 |       |                           \__HOL \//\
 |       |                               \__CPure \/
 |       \__Prod \//\
 |           \__Fun...\//\
 \__Sum \//\
 |   \__mono...\//\
 \__Prod...\//\