| Tue, 24 Jul 2007 15:20:51 +0200 | haftmann | interpretation_in | changeset | files |
| Tue, 24 Jul 2007 15:20:50 +0200 | haftmann | tuned | changeset | files |
| Tue, 24 Jul 2007 15:20:49 +0200 | haftmann | renamed lcm_lowest to lcm_least | changeset | files |
| Tue, 24 Jul 2007 15:20:48 +0200 | haftmann | dropped axclass | changeset | files |
| Tue, 24 Jul 2007 15:20:47 +0200 | haftmann | using interpretation with derived concepts | changeset | files |
| Tue, 24 Jul 2007 15:20:45 +0200 | haftmann | using class target | changeset | files |
| Mon, 23 Jul 2007 22:18:05 +0200 | wenzelm | added proper implementation of self_critical, CRITICAL; | changeset | files |