Quotient-Paper/ROOT.ML
2010-05-26 Christian Urban added FSet to the correct paper
2010-04-29 Christian Urban added stub for quotient paper; call with isabelle make qpaper
less more (0) tip