Sorry if I've missed your point (just a quick reply) but
On 01/06/2018 05:18 AM, Michael Beeson wrote:
SIMP isn't a conversion
SIMP_CONV is a conversion, which may give what you want And if RHS_CONV would do what you want, no need to use PAT_CONV Jeremy ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info