Changeset 2715 for src


Ignore:
Timestamp:
Feb 22, 2013, 11:41:04 PM (7 years ago)
Author:
sacerdot
Message:

Policy.ma repaired

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2713 r2715  
    88
    99RTL/RTL_semantics.ma:             parametri
    10 
    11 ASM/PolicyStep.ma:                nuove istruzioni
    12   ASM/Policy.ma:                  nuove istruzioni
    1310
    1411ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
Note: See TracChangeset for help on using the changeset viewer.