src/HOL/Bali/WellType.thy
Tue, 06 Aug 2002 11:22:05 +0200 wenzelm sane interface for simprocs;
Tue, 16 Jul 2002 20:25:21 +0200 schirmer Added conditional and (&&) and or (||).
Wed, 10 Jul 2002 15:07:02 +0200 schirmer Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
Fri, 22 Feb 2002 11:26:44 +0100 schirmer Added check for field/method access to operational semantics and proved the acesses valid.
Mon, 28 Jan 2002 18:51:48 +0100 wenzelm GPLed;
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