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 |