Theory: process
Parents
mu
after
parallel
choice
run
prefix
CSP_base
Type constants
Term constants
Axioms
Definitions
Theorems