| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 15 Sep 2000 20:19:24 +0200 | wenzelm | added s/selectI/someI/g; | file | diff | annotate |
| Fri, 15 Sep 2000 11:34:46 +0200 | wenzelm | fixed comment; | file | diff | annotate |