Quotient-Paper/Paper.thy
2010-10-19 Christian Urban took out comment about map-types / adapted to recent changes
2010-10-15 Cezary Kaliszyk Synchronizing FSet further.
2010-10-15 Cezary Kaliszyk Partially merging changes from Isabelle
2010-10-14 Christian Urban fixed the typo in the abstract and the problem with append (the type of map_k
2010-08-30 Cezary Kaliszyk update qpaper to new isabelle
2010-08-30 Cezary Kaliszyk Anonymize, change Quotient to Quot and fix indentation
2010-08-27 Christian Urban cut out most of the lifting section and cleaned up everything
less more (0) -100 -30 -10 -7 tip