Attic/UnusedQuotBase.thy
2010-02-10 Cezary Kaliszyk hg-added the added file.
less more (0) tip