Thu, 05 Jul 2007 00:06:16 +0200 | wenzelm | avoid polymorphic equality; | changeset | files |
Thu, 05 Jul 2007 00:06:14 +0200 | wenzelm | avoid polymorphic equality; | changeset | files |
Thu, 05 Jul 2007 00:06:13 +0200 | wenzelm | removed dest_cTrueprop (cf. ObjectLogic.dest_judgment); | changeset | files |