| 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 |
| Tue, 26 Oct 2010 15:00:42 +0200 | haftmann | more general treatment of type argument in code certificates for operations on abstract types | changeset | files |
| Tue, 26 Oct 2010 14:11:34 +0200 | haftmann | partial_function is a declaration command | changeset | files |
| Tue, 26 Oct 2010 14:06:21 +0200 | blanchet | merged | changeset | files |