CookBook/Recipes/NamedThms.thy
changeset 120 c39f83d8daeb
parent 119 4536782969fa