Quotient-Paper/ROOT.ML
2011-03-16 Christian Urban precise path to LaTeXsugar
2010-10-28 Cezary Kaliszyk FSet changes for Qpaper
2010-07-18 Christian Urban some test with quotient
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