Wed, 01 Sep 2010 12:27:49 +0200 | haftmann | generalized hierarchical data structure over statements | changeset | files |
Thu, 02 Sep 2010 09:13:28 +0200 | haftmann | merged | changeset | files |
Thu, 02 Sep 2010 09:13:16 +0200 | haftmann | normalization is allowed to solve True | changeset | files |