Chris Rowley wrote -- > dependency graph' starting a definition
when he meant -- > dependency graph' starting from a definition or that a recursive definition _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
