Changeset 1521 for src/joint


Ignore:
Timestamp:
Nov 21, 2011, 1:06:01 PM (8 years ago)
Author:
sacerdot
Message:

Syntax change in Matita: change what where => change where what.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r1516 r1521  
    2323  | #m whd in ⊢ (? → ??(??%)?); whd in ⊢ (? → ??(??match % with [ _ ⇒ ?])?) ;
    2424    cases (fresh_regs pars0 globals def m) normalize nodelta
    25     #def' #regs #EQ change in EQ; with (|regs| = m) <EQ
     25    #def' #regs #EQ change with (|regs| = m)in EQ; <EQ
    2626    @refl
    2727 ]
Note: See TracChangeset for help on using the changeset viewer.