src/HOL/Tools/SMT/smt_word.ML
2010-05-28 ago made SML/NJ quite happy;
2010-05-12 ago layered SMT setup, adapted SMT clients, added further tests, made Z3 proof abstraction configurable