Attic/UnusedQuotMain.thy
2010-01-26 Christian Urban just moved obsolete material into Attic
less more (0) tip