equal
deleted
inserted
replaced
2221 lemmas [nitpick_unfold] = inverse_real_inst.inverse_real one_real_inst.one_real |
2221 lemmas [nitpick_unfold] = inverse_real_inst.inverse_real one_real_inst.one_real |
2222 ord_real_inst.less_real ord_real_inst.less_eq_real plus_real_inst.plus_real |
2222 ord_real_inst.less_real ord_real_inst.less_eq_real plus_real_inst.plus_real |
2223 times_real_inst.times_real uminus_real_inst.uminus_real |
2223 times_real_inst.times_real uminus_real_inst.uminus_real |
2224 zero_real_inst.zero_real |
2224 zero_real_inst.zero_real |
2225 |
2225 |
|
2226 ML_file "Tools/SMT/smt_real.ML" |
|
2227 setup SMT_Real.setup |
|
2228 |
2226 end |
2229 end |