| 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 |