Ancestors of theory Basis

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 

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