[isabelle] deleting simprocs




when trace_simp gives me

Procedure "reorient_simproc" produced rewrite rule:

I want to delete this simproc - how do I do it?
(ie how do I ascertain the argument needed for Delsimprocs ?)

Jeremy






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.