Changeset 753 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Apr 14, 2011, 5:54:37 PM (9 years ago)
Author:
mulligan
Message:

Work from today.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r745 r753  
    5858  ERTL_Pr_Main: option Identifier
    5959}.
     60
     61definition ERTL_Pr_Vars: ERTLProgram → list (Identifier × nat).
     62  # E
     63  cases E
     64  # H1 # H2 # H3
     65  @ H1
     66qed.
Note: See TracChangeset for help on using the changeset viewer.