Quot/Quotient_Sum.thy
changeset 1169 b9d02e0800e9
parent 1129 9a86f0ef6503
equal deleted inserted replaced
1168:5c1e16806901 1169:b9d02e0800e9