Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
Wed, 07 Sep 2005 20:22:39 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
Thu, 09 Oct 1997 17:20:15 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |