Changeset 1129 for src/common/Registers.ma
- Timestamp:
- Aug 29, 2011, 4:34:00 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/Registers.ma
r1049 r1129 16 16 17 17 axiom 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.