| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | completely separated canonical class abbreviations from abbreviations stemming from non-canonical morphisms -- these have no shared concept | changeset | files |
| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | self-contained formulation of abbrev for named targets | changeset | files |
| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | correct sort constraints for abbreviations in type classes | changeset | files |