Mon, 28 Feb 2011 22:12:09 +0100 | boehmes | merged | changeset | files |
Mon, 28 Feb 2011 22:10:57 +0100 | boehmes | removed dependency on Dense_Linear_Order | changeset | files |
Mon, 28 Feb 2011 19:06:24 +0100 | bulwahn | adding function Quickcheck.test_terms to provide checking a batch of terms | changeset | files |