| Tue, 26 Oct 2010 14:49:48 +0200 | blanchet | put theorems added using "add:" at the beginning of the list returned by the relevance filter, so that they don't get truncated away | changeset | files |
| Tue, 26 Oct 2010 14:48:55 +0200 | blanchet | tuning | changeset | files |
| Tue, 26 Oct 2010 15:00:57 +0200 | haftmann | merged | changeset | files |
| Tue, 26 Oct 2010 14:06:22 +0200 | haftmann | consider base sorts of superclasses simultaneously during processing of class specification -- avoids clash of different base sorts | changeset | files |