Changeset 759 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Apr 18, 2011, 5:32:46 PM (10 years ago)
Author:
mulligan
Message:

More work on the RTL to ERTL pass.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r757 r759  
    22include "LTL/LTL.ma".
    33 
    4 axiom translate_ERTL_func:
     4axiom translate_ertl_func:
    55  ∀globals: list ident.
    66    list (ident × ertl_function) → list (ident × (ltl_function_definition globals)).
Note: See TracChangeset for help on using the changeset viewer.