Contents of graph-inductive-1.0.0