added new structure which says yea or nea on graph equivalence
added stubs for eq class table and fast graph enumeration structure
added GraphEntry structure
added graph entry and data, instantiating EqClassTab inside of FastGraphEnum, for now...
functorised EqClass, made type in EqClassTab correct
wrote a first implementation of EqClassTab. Note that it always checks a new graph against *all* redexes before it is added, and does not yet support adding lists and a time and doing post-filtering. Next implement that and fabio's discrimination net code.
made function for adding list. does not post-filter yet.
added code to shift rep and congs into redexes and replace rep in the event that a new minimal representative is found
comment
imported davids code
davids code now typechecks. changed =LESS to <>GREATER
updated metric to get data the new way
added a GRAPH_EQUIV signature to support caching of computed data for graph equivalences. TensorEval --> TensorEquiv : GRAPH_EQUIV. Applied functor and ready for testing.
named tensor_eval to tensor_equiv
added relevant structures and function to signature GRAPH_ENUM
rewriting chrome convenience functions
got davids code outputting to cosy. working on pre-loading with spider rule
it builds, but it act cwazy
Merge branch 'integration' into fast_enum

Conflicts:
	core/io/graph_dot_output.ML
updated to use new GraphicalTheoryIO structure