"Eisbach: A Proof Method Language for Isabelle."

Daniel Matichuk, Toby C. Murray, Makarius Wenzel (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics