Changeset 2475 for src/correctness.ma


Ignore:
Timestamp:
Nov 19, 2012, 5:13:21 PM (7 years ago)
Author:
campbell
Message:

Get compiler.ma and correctness.ma checking again. Note that the back-end
is in a state of flux at the moment, so is axiomatised out.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/correctness.ma

    r2412 r2475  
    3131
    3232%
    33 [ @labelling_sim @NOT_WRONG
     33[ (* Needs switch removal too, now
     34     @labelling_sim @NOT_WRONG
     35   *) cases daemon
    3436| @I
    3537] qed.
Note: See TracChangeset for help on using the changeset viewer.