Ignore:
Timestamp:
Jul 30, 2012, 12:46:19 AM (7 years ago)
Author:
sacerdot
Message:
  1. lemmas moved from all files to Test.ma
  2. most of the lemmas in Test.ma repaired. A few are commented out. Several needs to be slightly generalized.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/PolicyFront.ma

    r2264 r2273  
    238238    ]
    239239  ].
    240    
     240
    241241(* new safety condition: sigma corresponds to program and resulting program is compact *)
    242242definition sigma_compact ≝
Note: See TracChangeset for help on using the changeset viewer.