src/Pure/Tools/find_theorems.ML

   Parse.reserved "solves" >> K Solves ||
   Parse.reserved "simp" |-- Parse.!!! (Parse.$$$ ":" |-- Parse.term) >> Simp ||
   Parse.term >> Pattern;
 
 val query_keywords =
-  Keyword.add_keywords [((":", @{here}), Keyword.no_spec)] Keyword.empty_keywords;
+  Keyword.add_keywords [((":", \<^here>), Keyword.no_spec)] Keyword.empty_keywords;
 
 in
 
 val query_parser = Scan.repeat ((Scan.option Parse.minus >> is_none) -- criterion);