Tutorial/Tutorial2.thy
changeset 2951 d75b3d8529e7
parent 2695 e8736c1cdd7f
child 3132 87eca760dcba
equal deleted inserted replaced
2950:0911cb7bf696 2951:d75b3d8529e7