HOL is not building, see attached. Don't ask for the change set identifier because I couldn't tell you even to save my life. I can tell you that it has been like this for the past several hours.
Larry *** Unknown attribute: "smt_cert" (line 22 of "/Users/lp15/isabelle/ Repos/src/HOL/SMT/Examples/SMT_Examples.thy") *** At command "using" (line 22 of "/Users/lp15/isabelle/Repos/src/HOL/ SMT/Examples/SMT_Examples.thy").
