source: src/ERTL/ERTLToLTLI.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1084   9 years mulligan more added on ertl pass: not sure how much should be axiomatised wrt …
(edit) @1083   9 years mulligan ertl --> ltl statement generation nearly complete. required some …
(add) @1082   9 years mulligan work from today on ertl -> ltl pass
Note: See TracRevisionLog for help on using the revision log.