src/Doc/JEdit/JEdit.thy

   The \<^emph>\<open>Query\<close> panel in \<^emph>\<open>Find Theorems\<close> mode retrieves facts from the theory
   or proof context matching all of given criteria in the \<^emph>\<open>Find\<close> text field. A
   single criterium has the following syntax:
 
   @{rail \<open>
-    ('-'?) ('name' ':' @{syntax nameref} | 'intro' | 'elim' | 'dest' |
+    ('-'?) ('name' ':' @{syntax name} | 'intro' | 'elim' | 'dest' |
       'solves' | 'simp' ':' @{syntax term} | @{syntax term})
   \<close>}
 
   See also the Isar command @{command_ref find_theorems} in @{cite
   "isabelle-isar-ref"}.

   meets all of the given criteria in the \<^emph>\<open>Find\<close> text field. A single
   criterium has the following syntax:
 
   @{rail \<open>
     ('-'?)
-      ('name' ':' @{syntax nameref} | 'strict' ':' @{syntax type} | @{syntax type})
+      ('name' ':' @{syntax name} | 'strict' ':' @{syntax type} | @{syntax type})
   \<close>}
 
   See also the Isar command @{command_ref find_consts} in @{cite
   "isabelle-isar-ref"}.
 \<close>