src/Tools/Metis/metis_env.ML
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-10-19 wenzelm 2009-10-19 always qualify NJ's old List.foldl/foldr in Isabelle/ML;
2007-06-21 wenzelm 2007-06-21 renamed metis-env.ML to metis_env.ML;