Changeset 1521 for src/ASM/Status.ma


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

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r1518 r1521  
    940940      @ H1
    941941      cut (n ≤ S y → n - S m ≤ y)
    942       /2/
     942      /2 by/
    943943      cases n
    944944      normalize
Note: See TracChangeset for help on using the changeset viewer.