Tutorial/Minimal.thy
changeset 3104 f7c4b8e6918b
parent 2686 52e1e98edb34
child 3132 87eca760dcba