Quot/Quotient_Syntax.thy
changeset 1186 166cc41091b9
parent 1148 389d81959922