Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] deleting simprocs

view this post on Zulip Email Gateway (Aug 17 2022 at 13:26):

From: Jeremy Dawson <Jeremy.Dawson@rsise.anu.edu.au>
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

Last updated: Nov 21 2024 at 12:39 UTC