| 2010-06-07 | Christian Urban | improved abstract, some tuning | file | diff | annotate |
| 2010-06-01 | Christian Urban | added larry's quote | file | diff | annotate |
| 2010-05-28 | Christian Urban | first version of the abstract | file | diff | annotate |
| 2010-05-23 | Christian Urban | changed qpaper to lncs-style | file | diff | annotate |
| 2010-05-03 | Christian Urban | some preliminary notes of the abstract (qpaper); still need to see the motivating example | file | diff | annotate |
| 2010-04-29 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |