src/HOL/Bali/Term.thy
2002-07-16 schirmer 2002-07-16 Added conditional and (&&) and or (||).
2002-07-15 schirmer 2002-07-15 fix latex output
2002-07-11 schirmer 2002-07-11 Fixed markup error in comment.
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-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;