| Mon, 09 Nov 2009 15:23:33 +0100 | Cezary Kaliszyk | Cleaning and commenting | file | diff | annotate |
| Fri, 06 Nov 2009 19:43:09 +0100 | Christian Urban | permutation lifting works now also | file | diff | annotate |
| Fri, 06 Nov 2009 19:26:08 +0100 | Christian Urban | updated to new Isabelle version and added a new example file | file | diff | annotate |