| 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
|
| Tue, 09 Jan 2001 15:36:30 +0100 |
nipkow |
` -> $
|
file |
diff |
annotate
|
| Tue, 07 Sep 1999 10:40:58 +0200 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 11:00:30 +0200 |
mueller |
added frontend syntax for IOA, moved trivial examples to folder ex;
|
file |
diff |
annotate
|
| Fri, 29 Jan 1999 16:23:56 +0100 |
paulson |
tidied
|
file |
diff |
annotate
|
| Thu, 26 Nov 1998 16:37:56 +0100 |
mueller |
tuning to assimiliate it with PhD;
|
file |
diff |
annotate
|
| Mon, 19 Oct 1998 16:13:13 +0200 |
mueller |
another little bug ;-) and minor changes in TLS.*;
|
file |
diff |
annotate
|
| Mon, 19 Oct 1998 15:49:55 +0200 |
mueller |
little bug ;-)
|
file |
diff |
annotate
|
| Mon, 19 Oct 1998 13:34:19 +0200 |
mueller |
solved conflict by taking newest version;
|
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, 27 Apr 1998 16:47:50 +0200 |
nipkow |
Renamed expand_const -> split_const
|
file |
diff |
annotate
|
| Tue, 10 Mar 1998 19:15:00 +0100 |
nipkow |
Updated proofs because of new simplifier.
|
file |
diff |
annotate
|
| Wed, 14 Jan 1998 16:38:04 +0100 |
mueller |
added thms wrt weakening and strengthening in Abstraction;
|
file |
diff |
annotate
|
| Mon, 12 Jan 1998 17:48:23 +0100 |
mueller |
added files containing temproal logic and abstraction;
|
file |
diff |
annotate
|