CookBook/Base.thy
2008-10-10 berghofe New theory for installing antiquotations.
less more (0) tip