1 theory Real
2 imports RComplete RealVector
3 uses "Tools/SMT/smt_real.ML"
3 begin
4 begin
4
5
6 setup {* SMT_Real.setup *}
7
5 end
8 end