Theory Plug-in User Manual v1.0
Up:
Anatomy of Theories
Next:
Proof Rules
4.4 Polymorphic Theorems
Theory Plug-in User Manual v1.0
Up:
Anatomy of Theories
Next:
Proof Rules
