src/Pure/conv.ML
Thu, 10 May 2007 18:10:32 +0200 wenzelm more conversions;
Thu, 10 May 2007 00:39:51 +0200 wenzelm Conversions: primitive equality reasoning (from drule.ML);
less more (0) tip