src/HOL/Bali/Evaln.thy
Mon, 25 Feb 2002 20:48:14 +0100 wenzelm clarified syntax of ``long'' statements: fixes/assumes/shows;
Fri, 22 Feb 2002 11:26:44 +0100 schirmer Added check for field/method access to operational semantics and proved the acesses valid.
Thu, 21 Feb 2002 20:09:19 +0100 wenzelm removed theory Option;
Mon, 28 Jan 2002 23:35:20 +0100 wenzelm tuned;
Mon, 28 Jan 2002 18:50:23 +0100 wenzelm tuned header;
Mon, 28 Jan 2002 17:00:19 +0100 schirmer Isabelle/Bali sources;
less more (0) tip