src/Pure/meta_simplifier.ML
2000-11-07 berghofe 2000-11-07 Added new file meta_simplifier.ML