ProgTutorial/Package/Ind_Intro.thy
changeset 254 cb86bf5658e4
parent 243 6e0f56764ff8
child 295 24c68350d059
equal deleted inserted replaced
253:3cfd9a8a6de1 254:cb86bf5658e4