Thu, 01 Feb 2001 20:56:21 +0100 | oheimb | added translations for bind_thm and val | file | diff | annotate |
Thu, 01 Feb 2001 18:13:06 +0100 | oheimb | debugged declare | file | diff | annotate |
Thu, 01 Feb 2001 17:03:19 +0100 | oheimb | further minor improvements | file | diff | annotate |
Wed, 31 Jan 2001 16:35:46 +0100 | oheimb | added attribute declarations, etc. | file | diff | annotate |
Tue, 30 Jan 2001 18:48:33 +0100 | oheimb | corrected file name suffixes | file | diff | annotate |
Tue, 30 Jan 2001 18:47:00 +0100 | oheimb | removed (obsolete) mult_assumption | file | diff | annotate |
Wed, 24 Jan 2001 17:53:01 +0100 | oheimb | debugging and extensions | file | diff | annotate |
Fri, 19 Jan 2001 11:53:21 +0100 | wenzelm | convert legacy tactic scripts to Isabelle/Isar tactic emulation; | file | diff | annotate |