LFex.thy
2009-11-26 Cezary Kaliszyk Merged
2009-11-26 Christian Urban introduced a new property for Ball and ===> on the left
2009-11-26 Cezary Kaliszyk Manually regularized akind_aty_atrm.induct
2009-11-26 Cezary Kaliszyk Playing with Monos in LFex.
2009-11-09 Cezary Kaliszyk Cleaning and commenting
2009-11-06 Christian Urban permutation lifting works now also
2009-11-06 Christian Urban updated to new Isabelle version and added a new example file
less more (0) tip