Changeset 1080 for src/common


Ignore:
Timestamp:
Jul 19, 2011, 5:28:38 PM (8 years ago)
Author:
mulligan
Message:

more added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r1077 r1080  
    2626  ∀to_insert: label.
    2727    lookup ? ? g l ≠ None ? → lookup ? ? (add ? ? g to_insert s) l ≠ None ?.
     28
     29axiom graph_num_nodes:
     30  ∀A: Type[0].
     31  ∀g: graph A.
     32    nat.
Note: See TracChangeset for help on using the changeset viewer.