| Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Tue, 01 Jun 2004 12:33:50 +0200 | wenzelm | removed obsolete sort 'logic'; | file | diff | annotate |
| Fri, 05 Feb 1999 21:14:17 +0100 | wenzelm | examples made separate dirs; | file | diff | annotate |