[...] >>Can we extend the notion of a tidy graph so that it removes >>duplicate statements. Any untidy graph has an equivalent tidy >>graph, and the model theory is defined in terms of that. > >Yes, we can do that. Everyone go on that? yes -- JosReceived on Wednesday, 24 October 2001 12:12:54 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:41:10 EDT