Changeset 2296 for src/common


Ignore:
Timestamp:
Aug 13, 2012, 2:18:31 PM (7 years ago)
Author:
campbell
Message:

Tidy up some ill-placed definitions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Pointers.ma

    r2218 r2296  
    4848| * #NE % #E destruct cases (NE (refl ??))
    4949] qed.
     50
     51unification hint 0 ≔ ; D ≟ block_eq
     52(*-----------------------------------------------------*)⊢
     53block ≡ carr D.
     54
    5055
    5156(* This is only required for full 8051 memory spaces.
Note: See TracChangeset for help on using the changeset viewer.