| Thu, 29 Oct 2009 14:53:53 +0100 | wenzelm | tuned proof; | changeset | files |
| Thu, 29 Oct 2009 13:21:38 +0100 | wenzelm | separate "inner_rule" tag indicates parts of induction rules -- avoids unclear overlap with "internal" tag; | changeset | files |
| Thu, 29 Oct 2009 12:59:25 +0100 | wenzelm | removed unused file; | changeset | files |
| Thu, 29 Oct 2009 11:56:02 +0100 | wenzelm | less hermetic ML; | changeset | files |
| Thu, 29 Oct 2009 11:26:47 +0100 | wenzelm | removed slightly exotic symbol abbreviations for now -- achieves a coherent (unique) mapping; | changeset | files |
| Thu, 29 Oct 2009 10:52:05 +0100 | boehmes | simplified method syntax of "smt", | changeset | files |