Tue, 10 Aug 2010 14:57:58 +0200 | haftmann | separated type from term parameters | changeset | files |
Tue, 10 Aug 2010 14:53:41 +0200 | haftmann | moved extra_tfrees check for mixfix syntax to Generic_Target | changeset | files |
Tue, 10 Aug 2010 14:47:22 +0200 | haftmann | name and argument grouping tuning | changeset | files |