Ignore:
Timestamp:
Aug 29, 2011, 4:34:00 PM (9 years ago)
Author:
mulligan
Message:

removed conversions between Register and register

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/common/Registers.ma

    r1049 r1129  
    1616
    1717axiom register_ord: register → register → order.
    18 
    19 (* dpm: fix the Register/register mismatch *)
    20 axiom Register_of_register: register → Register.
    21 axiom register_of_Register: Register → register.
Note: See TracChangeset for help on using the changeset viewer.