Attic/Quot/Quotient_Syntax.thy
changeset 1751 6d6c36f7dd1e
parent 1260 9df6144e281b