Fri, 06 Mar 2009 17:39:05 +0100 | nipkow | merged | changeset | files |
Fri, 06 Mar 2009 19:37:31 +0100 | blanchet | Added "expect" option to Refute, like in Nitpick, that allows to write regression tests. | changeset | files |
Fri, 06 Mar 2009 17:38:47 +0100 | nipkow | added lemmas | changeset | files |