Wed, 26 Jul 2006 19:37:44 +0200 | wenzelm | updated; | changeset | files |
Wed, 26 Jul 2006 19:37:43 +0200 | wenzelm | import(T): result includes fixed types/terms; | changeset | files |
Wed, 26 Jul 2006 19:37:42 +0200 | wenzelm | focus: result record includes (fixed) schematic variables; | changeset | files |