UnusedQuotMain.thy
2009-11-26 Christian Urban tuned comments
2009-11-25 Cezary Kaliszyk More moving from QuotMain to UnusedQuotMain
2009-11-25 Cezary Kaliszyk Removed unused things from QuotMain.
less more (0) tip