Attic/UnusedQuotBase.thy
changeset 2921 6b496f69f76c
parent 1123 41f89d4f9548