Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
Thu, 26 Sep 2002 10:51:29 +0200 | paulson | Converted Fun to Isar style. | file | diff | annotate |
Wed, 10 Jul 2002 15:07:02 +0200 | schirmer | Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet). | file | diff | annotate |
Fri, 22 Feb 2002 11:26:44 +0100 | schirmer | Added check for field/method access to operational semantics and proved the acesses valid. | file | diff | annotate |
Mon, 28 Jan 2002 18:51:48 +0100 | wenzelm | GPLed; | file | diff | annotate |
Mon, 28 Jan 2002 18:50:23 +0100 | wenzelm | tuned header; | file | diff | annotate |
Mon, 28 Jan 2002 17:00:19 +0100 | schirmer | Isabelle/Bali sources; | file | diff | annotate |