| Thu, 02 Dec 2004 14:47:07 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Thu, 02 Dec 2004 12:28:09 +0100 |
nipkow |
Fixed print translation for ALL x > y etc
|
changeset |
files
|
| Thu, 02 Dec 2004 11:59:34 +0100 |
nipkow |
added ALL print-translation for > and >=.
|
changeset |
files
|
| Thu, 02 Dec 2004 11:44:55 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Thu, 02 Dec 2004 11:42:01 +0100 |
nipkow |
Added "ALL x > y" and relatives.
|
changeset |
files
|
| Thu, 02 Dec 2004 11:09:19 +0100 |
paulson |
new CLAUSIFY attribute for proof reconstruction with lemmas
|
changeset |
files
|
| Thu, 02 Dec 2004 10:36:20 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Thu, 02 Dec 2004 00:44:54 +0100 |
kleing |
antiquotations lhs and rhs
|
changeset |
files
|
| Wed, 01 Dec 2004 18:17:01 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 01 Dec 2004 18:11:50 +0100 |
nipkow |
Removed postfix >= because of new >= sugar
|
changeset |
files
|
| Wed, 01 Dec 2004 18:11:13 +0100 |
nipkow |
Added > and >= sugar
|
changeset |
files
|
| Wed, 01 Dec 2004 18:10:49 +0100 |
nipkow |
>= became > = because of new >=
|
changeset |
files
|
| Wed, 01 Dec 2004 12:53:49 +0100 |
paulson |
fixed presentation
|
changeset |
files
|
| Wed, 01 Dec 2004 10:14:10 +0100 |
paulson |
resolution package tools by Jia Meng
|
changeset |
files
|
| Wed, 01 Dec 2004 06:33:52 +0100 |
kleing |
new antiquotations @{lhs thm} and @{rhs thm}
|
changeset |
files
|