Changeset 777 for src/common


Ignore:
Timestamp:
Apr 27, 2011, 5:25:26 PM (9 years ago)
Author:
mulligan
Message:

Lots of work on RTL to ERTL pass from today.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Registers.ma

    r757 r777  
    1818(* dpm: fix the Register/register mismatch *)
    1919axiom Register_of_register: register → Register.
     20axiom register_of_Register: Register → register.
Note: See TracChangeset for help on using the changeset viewer.