ProgTutorial/Package/Ind_Intro.thy
changeset 580 883ce9c7b13b
parent 565 cecd7a941885
equal deleted inserted replaced
579:4dc20f6921d0 580:883ce9c7b13b