Theory Plug-in User Manual v1.0
Previous:
Proof Rules
Up:
Anatomy of Theories
Next:
Scoping of Theories
4.6 Theory Relationships
Theory Plug-in User Manual v1.0
Previous:
Proof Rules
Up:
Anatomy of Theories
Next:
Scoping of Theories
