| 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 |
| Tue, 30 Oct 2007 14:39:37 +0100 | haftmann | const antiquotation clarified | changeset | files |
| Tue, 30 Oct 2007 14:39:36 +0100 | haftmann | clarified | changeset | files |
| Tue, 30 Oct 2007 14:39:35 +0100 | haftmann | handling of notation in class target | changeset | files |
| Tue, 30 Oct 2007 12:14:24 +0100 | haftmann | fixed document preparation | changeset | files |
| Tue, 30 Oct 2007 12:14:23 +0100 | haftmann | improved website integration | changeset | files |
| Tue, 30 Oct 2007 12:14:22 +0100 | haftmann | adjusted | changeset | files |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | changeset | files |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | changeset | files |