Scratch.thy
