| Thu, 16 Jun 1994 12:04:33 +0200 | wenzelm | added ext_tsig_subclass, ext_tsig_defsort; | changeset | files |
| Thu, 16 Jun 1994 12:04:00 +0200 | wenzelm | added add_classrel; | changeset | files |
| Thu, 09 Jun 1994 11:11:03 +0200 | wenzelm | replaced extend_theory; | changeset | files |