src/HOL/SMT.thy
changeset 56046 683148f3ae48
parent 55049 327eafb594ba
child 56078 624faeda77b5
     1.1 --- a/src/HOL/SMT.thy	Tue Mar 11 11:32:32 2014 +0100
     1.2 +++ b/src/HOL/SMT.thy	Tue Mar 11 15:34:38 2014 +0100
     1.3 @@ -425,7 +425,6 @@
     1.4    by auto
     1.5  
     1.6  
     1.7 -
     1.8  hide_type (open) pattern
     1.9  hide_const Pattern fun_app term_true term_false z3div z3mod
    1.10  hide_const (open) trigger pat nopat weight