| Thu, 12 May 2005 09:45:54 +0200 | nipkow | fixed a few things and added Haftmann as author | changeset | files |
| Wed, 11 May 2005 17:45:38 +0200 | paulson | documented new subst method | changeset | files |
| Wed, 11 May 2005 16:30:24 +0200 | haftmann | corrections | changeset | files |
| Wed, 11 May 2005 09:50:33 +0200 | nipkow | Added thms by Brian Huffmann | changeset | files |
| Tue, 10 May 2005 18:37:43 +0200 | paulson | new cterm primitives | changeset | files |
| Tue, 10 May 2005 10:25:21 +0200 | paulson | oops...cannot use subst here | changeset | files |
| Tue, 10 May 2005 06:59:32 +0200 | kleing | table centering, headline 'other platform' | changeset | files |