Changeset 250 for C-semantics/Csyntax.ma


Ignore:
Timestamp:
Nov 22, 2010, 2:40:22 PM (10 years ago)
Author:
campbell
Message:

Begin separating soundness from executable semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/Csyntax.ma

    r175 r250  
    888888  and external functions. *)
    889889(* XXX: is this the best way to access these? *)
    890 alias id "ASTint" = "cic:/matita/c-semantics/AST/typ.con(0,1,0)".
    891 alias id "ASTfloat" = "cic:/matita/c-semantics/AST/typ.con(0,2,0)".
     890alias id "ASTint" = "cic:/matita/c-semantics-2/AST/typ.con(0,1,0)".
     891alias id "ASTfloat" = "cic:/matita/c-semantics-2/AST/typ.con(0,2,0)".
    892892
    893893ndefinition typ_of_type : type → typ ≝ λt.
Note: See TracChangeset for help on using the changeset viewer.