Changeset 1128 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Aug 29, 2011, 4:27:30 PM (9 years ago)
Author:
mulligan
Message:

fixed ERTLtoLTLI so it type checks again

File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.