Wed, 27 Feb 2002 08:52:09 +0100 | schirmer | Cleaning up the definition of static overriding. | 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 |
Fri, 15 Feb 2002 20:41:39 +0100 | wenzelm | replaced nodups by distinct; | file | diff | annotate |
Mon, 28 Jan 2002 18:51:48 +0100 | wenzelm | GPLed; | 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 |