| Tue, 18 Jul 2000 21:08:57 +0200 |
wenzelm |
removed obsolete expand_if = split_if;
|
file |
diff |
annotate
|
| Tue, 17 Aug 1999 15:59:32 +0200 |
wenzelm |
renamed Cons to Consq in order to avoid clash with List.Cons;
|
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, 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, 21 Apr 1998 17:21:42 +0200 |
oheimb |
removed split_all_tac from claset() globally within IOA
|
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
|