src/HOL/SMT/Tools/smt_normalize.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-18 boehmes 2009-09-18 added new method "smt": an oracle-based connection to external SMT solvers