Changeset 2603


Ignore:
Timestamp:
Feb 5, 2013, 1:54:45 PM (6 years ago)
Author:
piccolo
Message:

Dead code commented out.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Registers.ma

    r2286 r2603  
    1515definition register_env ≝ identifier_map RegisterTag.
    1616
     17(*
    1718axiom register_ord: register → register → order.
     19*)
Note: See TracChangeset for help on using the changeset viewer.