src/HOL/Bali/State.thy
2002-07-10 ago Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
2002-02-22 ago Added check for field/method access to operational semantics and proved the acesses valid.
2002-01-28 ago GPLed;
2002-01-28 ago tuned header;
2002-01-28 ago Isabelle/Bali sources;