| Tue, 06 Nov 2007 22:50:37 +0100 | wenzelm | read_const/legacy_intern_skolem: cover consts within the local scope; | changeset | files |
| Tue, 06 Nov 2007 22:50:36 +0100 | wenzelm | synchronize_syntax: declare operations within the local scope of fixes/consts | changeset | files |
| Tue, 06 Nov 2007 22:50:35 +0100 | wenzelm | fixed spelling; | changeset | files |
| Tue, 06 Nov 2007 22:50:34 +0100 | wenzelm | added is_const/declare_const for local scope of fixes/consts; | changeset | files |