spelling;
authorwenzelm
Thu, 26 Apr 2018 12:32:13 +0200
changeset 68043 c3b55728941b
parent 68041 d45b78cb86cf
child 68044 d9b1309c6f67
spelling;
src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed Apr 25 21:29:02 2018 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Thu Apr 26 12:32:13 2018 +0200
@@ -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>
     ('-'?)