ProgTutorial/Tactical.thy
changeset 206 096776f180fc
parent 194 8cd51a25a7ca
child 208 0634d42bb69f
equal deleted inserted replaced
205:f8d4393d6fdd 206:096776f180fc