Mon, 30 Sep 2002 16:14:02 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
Tue, 06 Aug 2002 11:22:05 +0200 |
wenzelm |
sane interface for simprocs;
|
file |
diff |
annotate
|
Tue, 16 Jul 2002 20:25:21 +0200 |
schirmer |
Added conditional and (&&) and or (||).
|
file |
diff |
annotate
|
Wed, 10 Jul 2002 15:07:02 +0200 |
schirmer |
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
|
file |
diff |
annotate
|
Mon, 25 Feb 2002 20:48:14 +0100 |
wenzelm |
clarified syntax of ``long'' statements: fixes/assumes/shows;
|
file |
diff |
annotate
|
Fri, 22 Feb 2002 11:26:44 +0100 |
schirmer |
Added check for field/method access to operational semantics and proved the acesses valid.
|
file |
diff |
annotate
|
Thu, 21 Feb 2002 20:09:19 +0100 |
wenzelm |
removed theory Option;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 23:35:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 18:50:23 +0100 |
wenzelm |
tuned header;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 17:00:19 +0100 |
schirmer |
Isabelle/Bali sources;
|
file |
diff |
annotate
|