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