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 |
Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Sat, 03 Nov 2001 18:41:28 +0100 | wenzelm | GPLed; | file | diff | annotate |
Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |
Tue, 06 Feb 1996 12:42:31 +0100 | clasohm | expanded tabs | file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |