| Thu, 29 Apr 2010 09:13:18 +0200 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |
| Thu, 08 Apr 2010 09:12:13 +0200 | Christian Urban | added new paper directory for further work | file | diff | annotate |
| Tue, 06 Apr 2010 07:36:15 +0200 | Christian Urban | typos in paper | file | diff | annotate |