| Sat, 31 Dec 2005 21:49:38 +0100 |
wenzelm |
removed classical elim_format;
|
changeset |
files
|
| Sat, 31 Dec 2005 21:49:36 +0100 |
wenzelm |
removed obsolete Provers/make_elim.ML;
|
changeset |
files
|
| Sat, 31 Dec 2005 21:49:35 +0100 |
wenzelm |
obsolete, see classical_rule in Provers/classical.ML;
|
changeset |
files
|
| Sat, 31 Dec 2005 13:03:55 +0100 |
wenzelm |
more robust phantomsection;
|
changeset |
files
|
| Fri, 30 Dec 2005 16:57:00 +0100 |
wenzelm |
require cla_dist_concl, avoid assumptions about concrete syntax;
|
changeset |
files
|
| Fri, 30 Dec 2005 16:56:59 +0100 |
wenzelm |
avoid implicit assumptions about consts Not, op =, *Goal*, *False*;
|
changeset |
files
|
| Fri, 30 Dec 2005 16:56:58 +0100 |
wenzelm |
provide equality_name, not_name;
|
changeset |
files
|
| Fri, 30 Dec 2005 16:56:57 +0100 |
wenzelm |
fixed final_consts;
|
changeset |
files
|
| Fri, 30 Dec 2005 16:56:56 +0100 |
wenzelm |
provide cla_dist_concl;
|
changeset |
files
|
| Fri, 30 Dec 2005 16:56:54 +0100 |
wenzelm |
non-PDF: phantomsection;
|
changeset |
files
|
| Thu, 29 Dec 2005 16:10:58 +0100 |
haftmann |
added atom keyword
|
changeset |
files
|
| Thu, 29 Dec 2005 15:31:27 +0100 |
haftmann |
changes in code generator keywords
|
changeset |
files
|
| Thu, 29 Dec 2005 15:31:10 +0100 |
haftmann |
adaptions to changes in code generator
|
changeset |
files
|
| Thu, 29 Dec 2005 15:30:52 +0100 |
haftmann |
slight improvements
|
changeset |
files
|
| Wed, 28 Dec 2005 21:14:23 +0100 |
haftmann |
slightly improved serialization
|
changeset |
files
|