Tutorial/Tutorial1s.thy
changeset 2857 da6461d8891f
parent 2694 3485111c7d62
child 3132 87eca760dcba
equal deleted inserted replaced
2856:e36beb11723c 2857:da6461d8891f