Ancestors of theory Table

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_ASCII 

Table \/
 \__Basis \//\
     \__Sum \//\
     |   \__mono \//\
     |   |   \__equalities \//\
     |   |       \__subset \//\
     |   |           \__Fun \//\
     |   |               \__Set \//\
     |   |                   \__Ord \//\
     |   |                       \__HOL \//\
     |   |                           \__CPure \/
     |   \__Prod \//\
     |       \__Fun...\//\
     \__WF_Rel \//\
     |   \__Finite \//\
     |       \__Divides \//\
     |       |   \__Arith \//\
     |       |       \__Nat \//\
     |       |           \__NatDef \//\
     |       |               \__WF \//\
     |       |                   \__Trancl \//\
     |       |                       \__Lfp \//\
     |       |                       |   \__mono...\//\
     |       |                       \__Relation \//\
     |       |                           \__Prod...\//\
     |       \__Power \//\
     |           \__Divides...\//\
     \__Option \//\
     |   \__Arith...\//\
     \__List \//\
     |   \__Divides...\//\
     \__IntDef \//\
         \__Equiv \//\
         |   \__Relation...\//\
         \__Arith...\//\