2009-11-09 | Cezary Kaliszyk | Cleaning and commenting | file | diff | annotate |
2009-11-06 | Christian Urban | permutation lifting works now also | file | diff | annotate |
2009-11-06 | Christian Urban | updated to new Isabelle version and added a new example file | file | diff | annotate |