Ancestors of theory Store

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 

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