ProgTutorial/Advanced.thy
changeset 521 9728b0432fb2
parent 518 7ff1a681f758
child 539 12861a362099
equal deleted inserted replaced
520:615762b8d8cb 521:9728b0432fb2