Changes to definitions of constraint criteria. Total removed, criteria altered.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 7 Jan 2011 14:10:44 +0000 (14:10 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 7 Jan 2011 14:10:44 +0000 (14:10 +0000)
commit0090e85e12859235ce3c3d98552087273f241e48
treefedcebb032f6c7c597b4165c1c12f0493aca4001
parent3caeddf86e16d7f4af9239aa99ec867dfa3b71b2
Changes to definitions of constraint criteria. Total removed, criteria altered.
refined.lhs