Constraints are sets again. Removed a parameter from eqkind.
authorJoey Capper <jjc@cs.nott.ac.uk>
Mon, 10 Jan 2011 16:15:59 +0000 (16:15 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Mon, 10 Jan 2011 16:15:59 +0000 (16:15 +0000)
commit8f80e30e23a25ecdf8f3248cde5126a3eb64ff7c
tree423bf9c53d816e85e7a0ea7aaa9a9b9676ff4118
parent78337b53bcdafb83863f4e3aafcc31b58308f5b7
Constraints are sets again. Removed a parameter from eqkind.
refined.lhs