Sun, 05 Sep 2010 07:00:19 +0800 | Christian Urban | generated inducts rule by Project_Rule.projections | changeset | files |
Sun, 05 Sep 2010 06:42:53 +0800 | Christian Urban | added the definition supp_rel (support w.r.t. a relation) | changeset | files |
Sat, 04 Sep 2010 14:26:09 +0800 | Christian Urban | merged | changeset | files |