--- a/src/Doc/JEdit/JEdit.thy Thu Apr 26 12:55:48 2018 +0100
+++ b/src/Doc/JEdit/JEdit.thy Thu Apr 26 14:03:12 2018 +0100
@@ -1154,7 +1154,7 @@
text \<open>
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:
+ single criterion has the following syntax:
@{rail \<open>
('-'?) ('name' ':' @{syntax name} | 'intro' | 'elim' | 'dest' |
@@ -1171,7 +1171,7 @@
text \<open>
The \<^emph>\<open>Query\<close> panel in \<^emph>\<open>Find Constants\<close> mode prints all constants whose type
meets all of the given criteria in the \<^emph>\<open>Find\<close> text field. A single
- criterium has the following syntax:
+ criterion has the following syntax:
@{rail \<open>
('-'?)