Ancestors of theory Eval

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 

Eval \/
 \__State \//\
     \__WellForm \//\
         \__WellType \//\
             \__TypeRel \//\
                 \__Prog \//\
                     \__Decl \//\
                         \__Term \//\
                             \__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...\//\