| Thu, 08 Nov 2007 20:09:17 +0100 | wenzelm | avoid implicit use of prems; | changeset | files |
| Thu, 08 Nov 2007 20:08:11 +0100 | wenzelm | where/of: do not allow schematic variables here! | changeset | files |
| Thu, 08 Nov 2007 20:08:09 +0100 | wenzelm | removed unused read_termTs_schematic, read/cert_vars_legacy, add_fixes_legacy; | changeset | files |