Children of theory Classfile

The name of every theory is linked to its theory file
\/ stands for subtheories (child theories)
/\ stands for supertheories (parent theories)

Back to the index of JVM0_ASCII 

Classfile \/
 |
 \__Runtime \//\
 |
 \__WellForm \//\