Quotient-Paper/Paper.thy
2010-05-11 Christian Urban a bit for the introduction of the q-paper
2010-05-11 Christian Urban added some of the quotient literature; a bit more to the qpaper
2010-04-30 Cezary Kaliszyk qpaper
2010-04-29 Cezary Kaliszyk quotient paper
2010-04-29 Christian Urban added stub for quotient paper; call with isabelle make qpaper
less more (0) tip