Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Tue, 30 Jan 2001 18:48:33 +0100 | oheimb | corrected file name suffixes | file | diff | annotate |
Fri, 19 Jan 2001 11:53:21 +0100 | wenzelm | convert legacy tactic scripts to Isabelle/Isar tactic emulation; | file | diff | annotate |