Library modules for reasoning about state machine specifications and their refinements
- inductiveness.mlw: simple theory for establishing inductive invariants of state machine specifications
- refinement.mlw: theory of refinement mappings between state machine specifications