| Thu, 13 Jul 2000 23:15:20 +0200 | wenzelm | add_term_consts: ins_string; | changeset | files |
| Thu, 13 Jul 2000 23:14:49 +0200 | wenzelm | add_defs(_i): overloaded option; | changeset | files |
| Thu, 13 Jul 2000 23:14:15 +0200 | wenzelm | adapted PureThy.add_defs; | changeset | files |
| Thu, 13 Jul 2000 23:13:52 +0200 | wenzelm | fixed comment; | changeset | files |