<> <> <> <> <<>> <> DIRECTORY TiogaNode; TreeCheck: CEDAR DEFINITIONS = BEGIN Node: TYPE = TiogaNode.Ref; Verify: PROC [node: Node]; END. Log Created February 18, 1981, by Pier. Modified for new node structure 20-May-81, by Paxton Modified to handle Tioga2 node structure February 24, 1983, by Lamming