CookBook/Package/Ind_General_Scheme.thy
changeset 163 2319cff107f0
parent 127 74846cb0fff9
equal deleted inserted replaced
162:3fb9f820a294 163:2319cff107f0