src/HOL/Nitpick.thy
changeset 67399 eab6ce8368fa
parent 67091 1393c2340eec
child 69593 3dda49e08b9d
     1.1 --- a/src/HOL/Nitpick.thy	Wed Jan 10 15:21:49 2018 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Wed Jan 10 15:25:09 2018 +0100
     1.3 @@ -84,7 +84,7 @@
     1.4  \textit{specialize} optimization.
     1.5  \<close>
     1.6  
     1.7 -lemma The_psimp[nitpick_psimp]: "P = (op =) x \<Longrightarrow> The P = x"
     1.8 +lemma The_psimp[nitpick_psimp]: "P = (=) x \<Longrightarrow> The P = x"
     1.9    by auto
    1.10  
    1.11  lemma Eps_psimp[nitpick_psimp]: