List of redirects
From Event-B
Jump to navigationJump to searchShowing below up to 20 results in range #21 to #40.
View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)
- In version 0.4.4 → UML-B notes for 0.4.4
- Mapplet Overriding in Goal → Maplet Overriding in Goal
- Mathematical extensions → Mathematical Extensions
- Modelling Tips/Records → Structured Types
- Plug-ins Wishlist → Plug-in Wishlist
- Predicate variables → Predicate Variables Extension
- Predicate variables Extension → Predicate Variables Extension
- Proof Purger → Proof Purger Design
- Proof Skeleton → Proof Skeleton Design
- ProverDiagrams → Prover Diagrams
- Purging Unused Proofs → Proof Purger Interface
- Records → Structured Types
- Rewriting rules → Rewriting rules for event model decomposition
- SMT Plug-in → SMT Solvers Plug-in
- Scenario for Merging Proofs → Scenarios for Merging Proofs
- Sequent Prover User Guide → Sequent Prover Developer Guide
- Start a new development → Procedure for developing, reviewing and publishing a plugin
- Steve → User:Steve
- Text Editor → Camille Editor
- Theory News and Support → Theory Release History