Thu, 08 Nov 2007 20:08:07 +0100 | wenzelm | discontinued legacy vars; | changeset | files |
Thu, 08 Nov 2007 20:08:02 +0100 | wenzelm | removed unused read_def_terms'; | changeset | files |
Thu, 08 Nov 2007 20:08:01 +0100 | wenzelm | eliminated illegal schematic variables in where/of; | changeset | files |