| Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Fri, 16 Apr 2004 04:07:10 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 07 May 2003 22:07:33 +0200 | ballarin | Small changes for release Isabelle 2003. | file | diff | annotate |