Fri, 02 Mar 2012 09:35:35 +0100 | bulwahn | choosing longer constant names in Quickcheck_Narrowing to reduce the chances of name clashes in Quickcheck-Narrowing | changeset | files |
Fri, 02 Mar 2012 09:35:33 +0100 | bulwahn | removing finiteness goals | changeset | files |
Fri, 02 Mar 2012 09:35:32 +0100 | bulwahn | adding finiteness of intervals on integer sets; adding another finiteness theorem for multisets | changeset | files |