Changeset 1249 for src/ERTL/uses.ma


Ignore:
Timestamp:
Sep 22, 2011, 11:41:27 AM (9 years ago)
Author:
mulligan
Message:

changes to get everything to typecheck again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r1243 r1249  
    6060  ].
    6161
    62 axiom recover_graph: ∀globals. ertl_internal_function globals → table label (ertl_statement globals).
    63 
     62(*
    6463definition examine_internal ≝
    6564  λglobals: list ident.
     
    6867  let uses ≝ tbl_fold ?? (examine_statement globals) (joint_if_graph … int_fun) (tbl_empty …) in
    6968      lookup uses.
     69*)
Note: See TracChangeset for help on using the changeset viewer.