| Fri, 28 May 1999 13:30:59 +0200 | wenzelm | tuned formal comments; | file | diff | annotate |
| Thu, 27 May 1999 20:49:10 +0200 | wenzelm | changed {| |} verbatim syntax to {* *}; | file | diff | annotate |
| Wed, 26 May 1999 22:45:59 +0200 | wenzelm | ex/Points Isar'ized; | file | diff | annotate |
| Fri, 23 Oct 1998 20:28:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 23 Oct 1998 16:07:54 +0200 | narasche | Example for records | file | diff | annotate |