added a restart to remove conflicting clauses
Ignore-this: b7c4c6eec565dd435b8e9e5403fcb0a8 darcs-hash:c0561f61d4d97c2095ea985b576415abfab1e782
Please register or sign in to comment
Ignore-this: b7c4c6eec565dd435b8e9e5403fcb0a8 darcs-hash:c0561f61d4d97c2095ea985b576415abfab1e782