| Tue, 24 Jul 2007 15:20:52 +0200 | haftmann | swapped class projection order | changeset | files |
| 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 |