| Thu, 06 May 2010 17:00:46 +0200 | haftmann | tuned internal structure | changeset | files |
| Thu, 06 May 2010 16:57:59 +0200 | haftmann | fail on merge of conflicting normalization entries: functions are not mergable | changeset | files |
| Thu, 06 May 2010 16:57:28 +0200 | haftmann | more canonical data administration | changeset | files |
| Thu, 06 May 2010 16:53:35 +0200 | haftmann | removed former algebra presimpset entirely | changeset | files |