ProgTutorial/Package/Ind_Prelims.thy
changeset 406 f399b6855546
parent 346 0fea8b7a14a1
child 513 f223f8223d4a
equal deleted inserted replaced
405:f8d020bbc2c0 406:f399b6855546