| Fri, 16 May 2014 09:19:15 +0200 | nipkow | new syntax for card, normalized spacing for # | changeset | files |
| Thu, 15 May 2014 16:46:29 +0200 | haftmann | clarified stylized status of sandwich algebra | changeset | files |
| Thu, 15 May 2014 16:38:33 +0200 | haftmann | dropped dead code | changeset | files |
| Thu, 15 May 2014 16:38:32 +0200 | haftmann | accurate separation of static and dynamic context | changeset | files |