Changeset 1995 for src/joint


Ignore:
Timestamp:
May 24, 2012, 7:18:35 PM (8 years ago)
Author:
campbell
Message:

Overall compiler definition; bits and pieces to
make everything happy(ish).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r1599 r1995  
    2222  [ %
    2323  | #m whd in ⊢ (? → ??(??(???%))?); @pair_elim
    24     #def' #regs #EQ >EQ normalize // ]
     24    #def' #regs #EQ >EQ cases (fresh_reg ???) normalize // ]
    2525qed.
    2626
Note: See TracChangeset for help on using the changeset viewer.