Changeset 255


Ignore:
Timestamp:
Nov 22, 2010, 3:57:29 PM (9 years ago)
Author:
campbell
Message:

Really restore matita root.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/Csyntax.ma

    r251 r255  
    891891  and external functions. *)
    892892(* XXX: is this the best way to access these? *)
    893 alias id "ASTint" = "cic:/matita/c-semantics-2/AST/typ.con(0,1,0)".
    894 alias id "ASTfloat" = "cic:/matita/c-semantics-2/AST/typ.con(0,2,0)".
     893alias id "ASTint" = "cic:/matita/c-semantics/AST/typ.con(0,1,0)".
     894alias id "ASTfloat" = "cic:/matita/c-semantics/AST/typ.con(0,2,0)".
    895895
    896896ndefinition typ_of_type : type → typ ≝ λt.
Note: See TracChangeset for help on using the changeset viewer.