src/HOL/SMT.thy
changeset 61611 a9c0572109af
parent 60758 d8d85a8172b5
child 61626 c304402cc3df
     1.1 --- a/src/HOL/SMT.thy	Tue Nov 10 14:43:29 2015 +0000
     1.2 +++ b/src/HOL/SMT.thy	Tue Nov 10 17:49:54 2015 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Sascha Boehme, TU Muenchen
     1.5  *)
     1.6  
     1.7 -section \<open>Bindings to Satisfiability Modulo Theories (SMT) solvers based on SMT-LIB 2\<close>
     1.8 +section \<open>Bi ndings to Satisfiability Modulo Theories (SMT) solvers based on SMT-LIB 2\<close>
     1.9  
    1.10  theory SMT
    1.11  imports Divides