| 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 |