2010-09-04 | Christian Urban | generated inducts rule by Project_Rule.projections | changeset | files |
2010-09-04 | Christian Urban | added the definition supp_rel (support w.r.t. a relation) | changeset | files |
2010-09-04 | Christian Urban | merged | changeset | files |
2010-09-03 | Christian Urban | got rid of Nominal2_Supp (is now in Nomina2_Base) | changeset | files |
Loading... |