| Mon, 26 Dec 2011 17:40:43 +0100 | haftmann | dropped Executable_Set wrapper theory | file | diff | annotate |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | adjusted to set/pred distinction by means of type constructor `set` | file | diff | annotate |
| Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
| Fri, 05 Aug 2011 14:16:44 +0200 | Andreas Lochbihler | replace old SML code generator by new code generator in MicroJava/JVM and /BV | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Sun, 24 Oct 2010 20:19:00 +0200 | nipkow | nat_number -> eval_nat_numeral | file | diff | annotate |