Wed, 03 Feb 1999 16:48:17 +0100 | wenzelm | comment; | changeset | files |
Wed, 03 Feb 1999 16:48:02 +0100 | wenzelm | removed load; | changeset | files |
Wed, 03 Feb 1999 16:47:37 +0100 | wenzelm | proper setup of preloaded theories (ThyInfo.register_theory); | changeset | files |