Ancestors of theory Cpool

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 JVM0_ASCII 

Cpool \/
 \__Data \//\
     \__Basic \//\
         \__Main \//\
             \__Map \//\
             |   \__List \//\
             |   |   \__Datatype \//\
             |   |   |   \__Univ \//\
             |   |   |       \__Arith \//\
             |   |   |       |   \__Nat \//\
             |   |   |       |       \__NatDef \//\
             |   |   |       |       |   \__WF \//\
             |   |   |       |       |       \__Trancl \//\
             |   |   |       |       |           \__Lfp \//\
             |   |   |       |       |           |   \__mono \//\
             |   |   |       |       |           |   |   \__equalities \//\
             |   |   |       |       |           |   |       \__subset \//\
             |   |   |       |       |           |   |           \__Fun \//\
             |   |   |       |       |           |   |               \__Vimage \//\
             |   |   |       |       |           |   |                   \__Set \//\
             |   |   |       |       |           |   |                       \__Ord \//\
             |   |   |       |       |           |   |                           \__HOL \//\
             |   |   |       |       |           |   |                               \__CPure \/
             |   |   |       |       |           |   \__Prod \//\
             |   |   |       |       |           |       \__Fun...\//\
             |   |   |       |       |           \__Relation \//\
             |   |   |       |       |               \__Prod...\//\
             |   |   |       |       \__Inductive \//\
             |   |   |       |           \__Gfp \//\
             |   |   |       |           |   \__Lfp...\//\
             |   |   |       |           \__Prod...\//\
             |   |   |       \__Sum \//\
             |   |   |           \__mono...\//\
             |   |   \__WF_Rel \//\
             |   |       \__Finite \//\
             |   |           \__Divides \//\
             |   |           |   \__Arith...\//\
             |   |           \__Power \//\
             |   |           |   \__Divides...\//\
             |   |           \__Inductive...\//\
             |   \__Option \//\
             |       \__Datatype...\//\
             \__Recdef \//\
             |   \__WF_Rel...\//\
             \__Record \//\
             |   \__Datatype...\//\
             \__Bin \//\
             |   \__Int \//\
             |   |   \__IntDef \//\
             |   |       \__Equiv \//\
             |   |       |   \__Relation...\//\
             |   |       \__Arith...\//\
             |   \__Datatype...\//\
             \__RelPow \//\
             |   \__Nat...\//\
             \__Sexp \//\
             |   \__Univ...\//\
             \__String \//\
                 \__List...\//\