Fri, 30 Oct 2009 01:32:06 +0100 | krauss | less verbose termination tactics | changeset | files |
Fri, 30 Oct 2009 01:32:06 +0100 | krauss | less verbose inductive invocation | changeset | files |
Fri, 30 Oct 2009 01:32:06 +0100 | krauss | tuned | changeset | files |