| Thu, 23 Jan 1997 18:10:29 +0100 | wenzelm | 'rm -f' instead of 'cp -f'; | changeset | files |
| Thu, 23 Jan 1997 14:37:45 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 23 Jan 1997 14:35:15 +0100 | wenzelm | expand shorthand goal commands; | changeset | files |
| Thu, 23 Jan 1997 14:19:16 +0100 | wenzelm | added AxClasses test; | changeset | files |
| Thu, 23 Jan 1997 14:05:42 +0100 | wenzelm | replaces README; | changeset | files |
| Thu, 23 Jan 1997 13:57:31 +0100 | wenzelm | dummy file required for proper HTML generation; | changeset | files |
| Thu, 23 Jan 1997 13:56:50 +0100 | wenzelm | removed; | changeset | files |
| Thu, 23 Jan 1997 12:55:31 +0100 | wenzelm | removed \<mu> syntax; | changeset | files |
| Thu, 23 Jan 1997 12:42:07 +0100 | wenzelm | added symbols syntax; | changeset | files |
| Thu, 23 Jan 1997 10:40:21 +0100 | wenzelm | turned some consts into syntax; | changeset | files |
| Thu, 23 Jan 1997 10:35:28 +0100 | paulson | Mended spelling error | changeset | files |
| Thu, 23 Jan 1997 10:35:03 +0100 | paulson | Added sees_Spy_partsEs | changeset | files |
| Thu, 23 Jan 1997 10:34:18 +0100 | paulson | Tidied proofs by using "etac rev_mp" instead of applying rev_mp to result() | changeset | files |
| Wed, 22 Jan 1997 18:17:36 +0100 | nipkow | Added warning msg when the simplifier cannot use a premise as a rewrite rule | changeset | files |
| Tue, 21 Jan 1997 11:29:28 +0100 | nipkow | Modified MiniML. Added W0. | changeset | files |