Ancestors of theory Type

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 

Type \/
 \__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...\//\