Changeset 696 for src/LIN/LIN.ma


Ignore:
Timestamp:
Mar 18, 2011, 1:01:58 PM (9 years ago)
Author:
mulligan
Message:

Added missing I8051 file and completed most of LIN formalisation.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r688 r696  
    11include "arithmetics/nat.ma".
    2 include "cerco/String.ma".
     2include "ASM/String.ma".
    33
    4 include "cerco-intermediate-languages/ASM/I8051.ma".
    5 include "cerco-intermediate-languages/common/AST.ma".
    6 include "cerco-intermediate-languages/utilities/StringTools.ma".
     4include "ASM/I8051.ma".
     5include "common/AST.ma".
     6include "utilities/StringTools.ma".
    77
    8 alias id "ASMOp1" = "cic:/matita/cerco-intermediate-languages/ASM/I8051/Op1.ind(1,0,0)".
    9 alias id "ASMOp2" = "cic:/matita/cerco-intermediate-languages/ASM/I8051/Op2.ind(1,0,0)".
     8alias id "ASMOp1" = "cic:/matita/cerco/ASM/I8051/Op1.ind(1,0,0)".
     9alias id "ASMOp2" = "cic:/matita/cerco/ASM/I8051/Op2.ind(1,0,0)".
    1010
    1111let rec member (i: Identifier) (eq_i: Identifier → Identifier → bool)
Note: See TracChangeset for help on using the changeset viewer.