Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | file | diff | annotate |
Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | file | diff | annotate |
Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Sun, 11 Jul 2004 20:33:22 +0200 | wenzelm | local_cla/simpset_of; | file | diff | annotate |
Sun, 23 Mar 2003 11:57:07 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Tue, 11 Mar 2003 15:04:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |