| Sat, 28 Aug 2010 13:41:31 +0800 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Thu, 19 Aug 2010 18:24:36 +0800 | Christian Urban | used @{const_name} hopefully everywhere | file | diff | annotate |
| Wed, 18 Aug 2010 00:19:15 +0800 | Christian Urban | improved runtime slightly, by constructing an explicit size measure for the function definitions | file | diff | annotate |