Attic/Quot/Quotient_Option.thy
changeset 2717 e8c1a19e13d2
parent 1260 9df6144e281b
equal deleted inserted replaced
2716:cd336163f270 2717:e8c1a19e13d2