src/Doc/Codegen/Adaptation.thy
changeset 61169 4de9ff3ea29a
parent 61076 bdc1e2f0a86a
child 63669 256fc20716f2
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Sun Sep 13 22:25:21 2015 +0200
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Sun Sep 13 22:56:52 2015 +0200
     1.3 @@ -346,7 +346,7 @@
     1.4  
     1.5  definition %quote "HOL.equal (x::bar) y \<longleftrightarrow> x = y"
     1.6  
     1.7 -instance %quote by default (simp add: equal_bar_def)
     1.8 +instance %quote by standard (simp add: equal_bar_def)
     1.9  
    1.10  end %quote (*<*)
    1.11