]> gitweb.michael.orlitzky.com - hath.git/commitdiff
Added the prop_contains_proper_intransitive QuickCheck property, and fixed the defini...
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 14 May 2010 05:59:06 +0000 (01:59 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 14 May 2010 05:59:06 +0000 (01:59 -0400)

No differences found