Ignore:
Timestamp:
Feb 27, 2013, 4:59:31 PM (8 years ago)
Author:
sacerdot
Message:

Graph colouring terminated up to Uses that will be implemented
in Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interference.ml

    r2730 r2740  
    297297    Obj.magic (fun _ dH -> dH __ __ __ __)) y
    298298
    299 type coloured_graph_computer = Fixpoints.valuation -> coloured_graph
    300 
     299type coloured_graph_computer =
     300  AST.ident List.list -> Joint.joint_internal_function -> Fixpoints.valuation
     301  -> coloured_graph
     302
Note: See TracChangeset for help on using the changeset viewer.