| 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 |
| Thu, 20 May 2010 16:40:29 +0200 | haftmann | renamed List_Set to the now more appropriate More_Set | file | diff | annotate |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| 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 |