Quot/QuotProd.thy
changeset 868 09d5b7f0e55d
parent 867 9e247b9505f0
child 913 b1f55dd64481
equal deleted inserted replaced
867:9e247b9505f0 868:09d5b7f0e55d