Isabelle Clone Detection Tool to find (near-)duplicates in Isabelle theory sources. Installation Add with isabelle components -u <REPO_DIR>. Usage See isabelle clone_detect -?.