| Mon, 03 May 2010 08:52:15 +0100 | Christian Urban | some preliminary notes of the abstract (qpaper); still need to see the motivating example | file | diff | annotate |
| Thu, 29 Apr 2010 09:13:18 +0200 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |