LFex.thy
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