Changeset 1091 for Deliverables/D3.3/id-lookup-branch/ERTL/ERTLToLTL.ma
- Timestamp:
- Jul 28, 2011, 12:14:17 PM (10 years ago)
- Location:
- Deliverables/D3.3/id-lookup-branch
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D3.3/id-lookup-branch
-
Deliverables/D3.3/id-lookup-branch/ERTL/ERTLToLTL.ma
r1084 r1091 2 2 include "ERTL/ERTLToLTLI.ma". 3 3 include "LTL/LTL.ma". 4 5 definition translate_internal ≝ 6 λf. 7 λint_fun: ertl_internal_function. 8 mk_ltl_internal_function ? 9 (ertl_if_luniverse int_fun) 10 (ertl_if_runiverse int_fun) 11 (ertl_if_stacksize int_fun) 12 (ertl_if_graph int_fun) 13 ? 14 ?. 4 15 5 16 definition translate_funct ≝
Note: See TracChangeset
for help on using the changeset viewer.