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 |
Sat, 04 Sep 2010 07:39:38 +0800 | Christian Urban | got rid of Nominal2_Supp (is now in Nomina2_Base) | changeset | files |
Sat, 04 Sep 2010 07:28:35 +0800 | Christian Urban | moved everything out of Nominal_Supp | changeset | files |