repairing-window8646 (Isabelle Using)

Following