2010-05-11 | Christian Urban | a bit for the introduction of the q-paper | file | diff | annotate |
2010-05-11 | Christian Urban | added some of the quotient literature; a bit more to the qpaper | file | diff | annotate |
2010-04-30 | Cezary Kaliszyk | qpaper | file | diff | annotate |
2010-04-29 | Cezary Kaliszyk | quotient paper | file | diff | annotate |
2010-04-29 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |