Next:
3
Up:
Rules as Terms
Previous:
1
2
Arity is
2 [-5pt]
Paul Brna
Mon May 24 20:14:48 BST 1999