SSH-19: Support Distributing Congruences
Submitted on 11 April 2004 at 22:13
f^D
Issue Log
On 11 April 2004 at 22:22 Jira commented:
SSH-19, martin:
Implemented. Unfortunately in 3 different rules: term application, Cons and Nil.
Log in to post comments