| 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 |