| Tue, 07 May 2002 14:27:39 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Thu, 14 Mar 2002 16:48:34 +0100 | paulson | converted theory "set" to Isar and added some SET-VAR examples | file | diff | annotate |
| Wed, 21 Jun 2000 15:58:23 +0200 | wenzelm | fixed deps; | file | diff | annotate |