[isabelle-dev] HOL is not building

[Lawrence Paulson]

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").