| Fri, 02 Sep 2005 17:23:59 +0200 | wenzelm | converted specifications to Isar theories; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 18 Jul 2002 12:05:29 +0200 | wenzelm | quantify LC (conflict with const name of HOL); | file | diff | annotate |
| Thu, 15 Nov 2001 23:25:46 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 29 Jan 1999 16:23:56 +0100 | paulson | tidied | file | diff | annotate |
| Fri, 11 Dec 1998 10:38:51 +0100 | paulson | deleted unclosed comment | file | diff | annotate |
| Thu, 26 Nov 1998 16:37:56 +0100 | mueller | tuning to assimiliate it with PhD; | file | diff | annotate |
| Sun, 12 Jul 1998 11:49:17 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Mon, 22 Jun 1998 17:13:09 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Mon, 12 Jan 1998 17:48:23 +0100 | mueller | added files containing temproal logic and abstraction; | file | diff | annotate |