Tue, 05 Oct 1999 18:26:34 +0200 | wenzelm | fixed title; | file | diff | annotate |
Sat, 04 Sep 1999 21:13:01 +0200 | wenzelm | replaced ?? by ?; | file | diff | annotate |
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 |