Simple_Game.thy 3.35 KB