Changeset 849 for src/common


Ignore:
Timestamp:
May 26, 2011, 6:41:33 PM (10 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/common/AST.ma

    r795 r849  
    179179}.
    180180
     181(*
    181182definition prog_funct_names ≝ λF,V: Type[0]. λp: program F V.
    182183  map ?? (fst ident F) (prog_funct ?? p).
    … …  
    496497(*
    497498End TRANSF_PARTIAL_FUNDEF.
     499*)
    498500*)
    499501
Note: See TracChangeset for help on using the changeset viewer.