src/HOL/Library/Old_SMT/old_smt_builtin.ML
Thu, 28 Aug 2014 00:40:38 +0200 blanchet add 'old_' prefix to SMT file names; add 'Old_' to ML module names;
less more (0) tip