DOWNARROWMATCH - Match Pattern Down Command

Rewrites an expression.

Level 2Level 1->Level 2Level 1
'symb1'{ 'symbpat' 'symbrepl' }->'symb2'0/1
'symb1'{ 'symbpat' 'symbrepl' 'symbcond' }->'symb2'0/1

Adrian Drury
Last modified: Sun Jun 14 20:05:24 EDT 1998