src/Pure/conv.ML
2007-05-10 wenzelm 2007-05-10 more conversions; tuned;
2007-05-10 wenzelm 2007-05-10 Conversions: primitive equality reasoning (from drule.ML);