[project @ 1997-09-26 14:28:43 by simonpj]
authorsimonpj <unknown>
Fri, 26 Sep 1997 14:28:43 +0000 (14:28 +0000)
committersimonpj <unknown>
Fri, 26 Sep 1997 14:28:43 +0000 (14:28 +0000)
Fix atomic rhs infelicity in simplifier


No differences found