Ignore:
Timestamp:
Feb 21, 2013, 6:03:46 PM (8 years ago)
Author:
tranquil
Message:
  • in Arithmeticcs.ma: commented include that breaks script in latest matita
  • moved COST_LABEL out of joint_seq
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/semanticsUtils.ma

    r2687 r2688  
    453453    def_in def_out (f_lbls bl) (f_regs bl).
    454454 
    455 lemma b_graph_transform_program_find_funct_ptr :
     455lemma make_b_graph_transform_program_props :
    456456 ∀src,dst:sem_graph_params.
    457457 ∀data : ∀globals.joint_closed_internal_function src globals →
Note: See TracChangeset for help on using the changeset viewer.