src/HOL/Library/Old_SMT/old_z3_model.ML
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-08-28 blanchet 2014-08-28 add 'old_' prefix to SMT file names; add 'Old_' to ML module names;