ProgTutorial/Package/Ind_Prelims.thy
changeset 518 7ff1a681f758
parent 513 f223f8223d4a
child 562 daf404920ab9
equal deleted inserted replaced
517:d8c376662bb4 518:7ff1a681f758