Ignore:
Timestamp:
Jul 10, 2012, 5:37:10 PM (8 years ago)
Author:
tranquil
Message:
  • factored out script for (axiomatised) fixpoint computation
  • ERTL → LTL pass
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL_paolo.ma

    r2162 r2174  
    4646  (mk_local_params
    4747    (mk_funct_params
    48       (* resultT ≝ *) (list register)
     48      (* resultT ≝ *) unit
    4949      (* paramsT ≝ *) ℕ)
    5050      (* localsT ≝ *) register).
Note: See TracChangeset for help on using the changeset viewer.