src/HOL/SMT/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2009-09-18 boehmes 2009-09-18 added new method "smt": an oracle-based connection to external SMT solvers