Template:Isabelle Special Moves