| Wed, 31 Oct 2007 10:37:14 +0100 | haftmann | dropped AxClass | changeset | files |
| Wed, 31 Oct 2007 10:10:50 +0100 | haftmann | tuned | changeset | files |
| Tue, 30 Oct 2007 17:58:03 +0100 | berghofe | Handle Subscript exception when looking up bound variables. | changeset | files |
| Tue, 30 Oct 2007 17:56:56 +0100 | berghofe | Added well-formedness check to Abst case in function prf_of. | changeset | files |
| Tue, 30 Oct 2007 16:00:30 +0100 | haftmann | added omission | changeset | files |
| Tue, 30 Oct 2007 15:28:53 +0100 | paulson | bugfixes concerning strange theorems | changeset | files |
| Tue, 30 Oct 2007 15:13:48 +0100 | haftmann | fixed typo | changeset | files |