CookBook/Recipes/Transformation.thy
changeset 35 d5c090b9a2b1
parent 13 2b07da8b310d