src/HOL/SMT.thy
changeset 57213 9daec42f6784
parent 56078 624faeda77b5
child 57226 c22ad39c3b4b
     1.1 --- a/src/HOL/SMT.thy	Wed Jun 11 11:28:46 2014 +0200
     1.2 +++ b/src/HOL/SMT.thy	Wed Jun 11 11:28:46 2014 +0200
     1.3 @@ -419,7 +419,6 @@
     1.4    "(if P then Q else \<not>R) \<or> P \<or> R"
     1.5    by auto
     1.6  
     1.7 -
     1.8  hide_type (open) pattern
     1.9  hide_const fun_app term_true term_false z3div z3mod
    1.10  hide_const (open) trigger pat nopat weight