Quotient-Isabelle.pdf
2009-12-19 Christian Urban added a very old paper about Quotients in Isabelle (related work)
less more (0) tip