| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:28 +0200 | haftmann | dropped wrong code lemma | file | diff | annotate |
| Fri, 12 Oct 2007 15:21:12 +0200 | wenzelm | replaced syntax/translations by abbreviation; | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:49 +0200 | haftmann | proper implementation of rational numbers | file | diff | annotate |