| 2002-07-16 | schirmer | 2002-07-16 | Added conditional and (&&) and or (||). | file | diff | annotate |
| 2002-07-15 | schirmer | 2002-07-15 | fix latex output | file | diff | annotate |
| 2002-07-11 | schirmer | 2002-07-11 | Fixed markup error in comment. | file | diff | annotate |
| 2002-07-10 | schirmer | 2002-07-10 | Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). | file | diff | annotate |
| 2002-02-22 | schirmer | 2002-02-22 | Added check for field/method access to operational semantics and proved the acesses valid. | file | diff | annotate |
| 2002-01-28 | wenzelm | 2002-01-28 | GPLed; | file | diff | annotate |
| 2002-01-28 | wenzelm | 2002-01-28 | tuned header; | file | diff | annotate |
| 2002-01-28 | schirmer | 2002-01-28 | Isabelle/Bali sources; | file | diff | annotate |