| Thu, 01 Jul 2010 16:54:44 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively | file | diff | annotate |
| Thu, 10 Jun 2010 12:24:03 +0200 | haftmann | tuned quotes, antiquotations and whitespace | file | diff | annotate |
| Wed, 26 May 2010 16:44:57 +0200 | haftmann | dropped legacy theorem bindings | file | diff | annotate |