src/HOL/Bali/Eval.thy
2002-08-06 wenzelm 2002-08-06 sane interface for simprocs;
2002-07-16 schirmer 2002-07-16 Added conditional and (&&) and or (||).
2002-07-10 schirmer 2002-07-10 Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
2002-02-22 schirmer 2002-02-22 Added check for field/method access to operational semantics and proved the acesses valid.
2002-02-21 wenzelm 2002-02-21 removed theory Option;
2002-01-28 wenzelm 2002-01-28 GPLed;
2002-01-28 wenzelm 2002-01-28 tuned header;
2002-01-28 schirmer 2002-01-28 Isabelle/Bali sources;