CookBook/Recipes/NamedThms.thy
changeset 104 5dcad9348e4d
parent 74 f6f8f8ba1eb1
child 119 4536782969fa
equal deleted inserted replaced
103:fe10da5354a3 104:5dcad9348e4d