2009-11-26 | Cezary Kaliszyk | Merged | file | diff | annotate |
2009-11-26 | Christian Urban | introduced a new property for Ball and ===> on the left | file | diff | annotate |
2009-11-26 | Cezary Kaliszyk | Manually regularized akind_aty_atrm.induct | file | diff | annotate |
2009-11-26 | Cezary Kaliszyk | Playing with Monos in LFex. | file | diff | annotate |
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 |