Changeset 728 for src/common/Graphs.ma


Ignore:
Timestamp:
Mar 31, 2011, 5:53:16 PM (10 years ago)
Author:
mulligan
Message:

Changes from last two days.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r726 r728  
    2525definition graph_add : ∀T. graph T → label → T → graph T ≝
    2626λT,g,l,v. insert T 16 l v g.
    27 
    28 
Note: See TracChangeset for help on using the changeset viewer.