| Fri, 21 May 2010 00:44:39 +0100 | Christian Urban | proper parser for "exclude:" | file | diff | annotate |
| Fri, 21 May 2010 10:42:53 +0200 | Cezary Kaliszyk | Renamings | file | diff | annotate |
| Mon, 17 May 2010 18:13:39 +0100 | Christian Urban | updated to new Isabelle (More_Conv -> Conv) | file | diff | annotate |
| Thu, 13 May 2010 16:09:34 +0100 | Christian Urban | properly declared outer keyword | file | diff | annotate |