Nuprl - mb_automata_1 Citations of node

Def tree_node( < x, y > ) == tree_node( < x,y > )

is mentioned by

Def ab == tree_node( < a, b > ) [arrow]

Def t1 t2 == tree_node( < t1, t2 > ) [tapp]

Try larger context: GenAutomata

`Def ab == tree_node( < a, b > )`	[arrow]
`Def t1 t2 == tree_node( < t1, t2 > )`	[tapp]