Tue, 21 Apr 1998 17:20:54 +0200 |
oheimb |
made modifications of the simpset() local
|
file |
diff |
annotate
|
Thu, 08 Jan 1998 18:09:47 +0100 |
oheimb |
added split_paired_Ex to the implicit simpset
|
file |
diff |
annotate
|
Wed, 24 Dec 1997 10:02:30 +0100 |
paulson |
New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
|
file |
diff |
annotate
|
Tue, 23 Dec 1997 11:49:46 +0100 |
paulson |
Decremented subscript because of change to iffD1
|
file |
diff |
annotate
|
Tue, 16 Dec 1997 17:58:03 +0100 |
wenzelm |
expandshort;
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 14:06:27 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Tue, 09 Sep 1997 11:15:32 +0200 |
mueller |
adm_tac extended
|
file |
diff |
annotate
|
Wed, 03 Sep 1997 16:25:30 +0200 |
mueller |
some minor changes;
|
file |
diff |
annotate
|
Thu, 17 Jul 1997 12:43:32 +0200 |
mueller |
changes needed for adding fairness
|
file |
diff |
annotate
|
Mon, 23 Jun 1997 10:42:03 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
Thu, 12 Jun 1997 16:47:15 +0200 |
mueller |
added deadlock freedom, polished definitions and proofs
|
file |
diff |
annotate
|
Wed, 21 May 1997 15:08:52 +0200 |
mueller |
changes for release 94-8
|
file |
diff |
annotate
|
Wed, 30 Apr 1997 11:20:15 +0200 |
mueller |
New meta theory for IOA based on HOLCF.
|
file |
diff |
annotate
|