Ignore:
Timestamp:
Jul 28, 2011, 12:14:17 PM (9 years ago)
Author:
campbell
Message:

Merge trunk into id-lookup-branch

Location:
Deliverables/D3.3/id-lookup-branch
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D3.3/id-lookup-branch

    • Property svn:mergeinfo set to
      /srcmergedeligible

  • Deliverables/D3.3/id-lookup-branch/ERTL/ERTLToLTL.ma

    r1084 r1091  
    22include "ERTL/ERTLToLTLI.ma".
    33include "LTL/LTL.ma".
     4
     5definition 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      ?.
    415
    516definition translate_funct ≝
Note: See TracChangeset for help on using the changeset viewer.