Semi-intelligible Isar Proofs from Machine-Generated Proofs. - Jasmin Christian Blanchette; Sascha Böhme; Mathias Fleury; Steffen Juilf Smolka; Albert Steckermeier (J. Autom. Reason., 2016)