The Mutilated Chess Board Problem -- Isar'ized version of HOL/Inductive/Mutil;
The Mutilated Chess Board Problem -- Isar'ized version of HOL/Inductive/Mutil;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle