src/Doc/Tutorial/Misc/simp.thy
changeset 51085 d90218288d51
parent 48985 5386df44a037
child 62392 747d36865c2c
equal deleted inserted replaced
51084:cbae5c5ffd23 51085:d90218288d51