src/HOL/Library/Old_SMT/old_smt_normalize.ML
2014-09-01 blanchet 2014-09-01 renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place
2014-08-28 blanchet 2014-08-28 add 'old_' prefix to SMT file names; add 'Old_' to ML module names;