Quot/Quotient_Syntax.thy
changeset 1179 789fbba5c23f
parent 1148 389d81959922
equal deleted inserted replaced
1178:275a1cb3f2ba 1179:789fbba5c23f