From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 14 May 2010 05:59:06 +0000 (-0400)
Subject: Added the prop_contains_proper_intransitive QuickCheck property, and fixed the defini... 
X-Git-Tag: 0.0.1~40
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=a23ed449c784cdf81501c696bec10b1fbaeefc5f;hp=a23ed449c784cdf81501c696bec10b1fbaeefc5f;p=hath.git

Added the prop_contains_proper_intransitive QuickCheck property, and fixed the definition of contains_proper when it found a bug.
---