| Mon, 30 Aug 2010 15:59:16 +0900 | Cezary Kaliszyk | update qpaper to new isabelle | file | diff | annotate |
| Mon, 30 Aug 2010 11:02:13 +0900 | Cezary Kaliszyk | Anonymize, change Quotient to Quot and fix indentation | file | diff | annotate |
| Fri, 27 Aug 2010 23:26:00 +0800 | Christian Urban | cut out most of the lifting section and cleaned up everything | file | diff | annotate |