| Thu, 11 Feb 2010 00:45:02 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Tue, 24 Nov 2009 14:37:23 +0100 | haftmann | backported parts of abstract byte code verifier from AFP/Jinja | file | diff | annotate |
| Tue, 14 Jul 2009 10:54:04 +0200 | haftmann | code attributes use common underscore convention | file | diff | annotate |
| Mon, 29 Jun 2009 16:17:55 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 29 Jun 2009 12:18:57 +0200 | haftmann | explicit Set constructor for code generated for sets | file | diff | annotate |
| Mon, 18 May 2009 23:15:38 +0200 | nipkow | fine-tuned elimination of comprehensions involving x=t. | file | diff | annotate |
| Sat, 16 May 2009 17:44:11 +0200 | nipkow | proof tuned | file | diff | annotate |
| Sat, 16 May 2009 11:28:02 +0200 | nipkow | "{x. P x & x=t & Q x}" is now rewritten to "if P t & Q t then {t} else {}" | file | diff | annotate |