Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
Fri, 02 Jun 2006 19:41:37 +0200 | wenzelm | tuned; | file | diff | annotate |
Sun, 28 May 2006 20:53:03 +0200 | wenzelm | removed legacy ML scripts; | file | diff | annotate |
Tue, 06 Sep 2005 19:28:58 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |