Changeset 723 for src/LTL/LTL.ma


Ignore:
Timestamp:
Mar 30, 2011, 12:34:25 PM (9 years ago)
Author:
mulligan
Message:

Added dependent type internalising the invariant that LIN function bodies are non-empty and do not start with a label.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r722 r723  
    11include "common/Graphs.ma".
    2 include "common/AST.ma".
    3 
    42include "utilities/IdentifierTools.ma".
    5 
    6 include "ASM/I8051.ma".
    7 include "ASM/String.ma".
    83
    94include "LIN/LIN.ma".
Note: See TracChangeset for help on using the changeset viewer.