Up One Level Theory Plug-in User Manual v1.0 Contents
Up: Anatomy of Theories

4.5 Proof Rules

Metavariables

Rewrite Rules

Inference Rules

Up One Level Theory Plug-in User Manual v1.0 Contents
Up: Anatomy of Theories