Ignore:
Timestamp:
May 24, 2011, 6:40:13 PM (10 years ago)
Author:
mulligan
Message:

work from today

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AssemblyProof.ma

    r831 r832  
    5050      # H
    5151      whd
    52       normalize
     52      whd in ⊢ (match % with [ _ ⇒ ? | _ ⇒ ?])
    5353    ]
    5454  | cases not_implemented
Note: See TracChangeset for help on using the changeset viewer.