| Sat, 21 Nov 2009 11:16:48 +0100 | Christian Urban | tuned | file | diff | annotate |
| Sat, 21 Nov 2009 10:58:08 +0100 | Christian Urban | tunded | file | diff | annotate |
| Sat, 21 Nov 2009 02:49:39 +0100 | Christian Urban | simplified get_fun so that it uses directly rty and qty, instead of qenv | file | diff | annotate |
| Thu, 19 Nov 2009 14:17:10 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |