src/Pure/Thy/thy_header.ML

 
 structure Data = Theory_Data
 (
   type T = Keyword.keywords;
   val empty = bootstrap_keywords;
-  val extend = I;
   val merge = Keyword.merge_keywords;
 );
 
 val add_keywords = Data.map o Keyword.add_keywords;