workaround for Proof General's off-by-a-few sendback display bug, whereby "pr" in "proof" is not highlighted
(* Title: CTT/ROOT.ML
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1991 University of Cambridge
*)
use_thys ["Main"];