bug report: interrupting simproc borks core

[Ross Duncan]

Seems like if you interrupt a simproc the core never recovers, and you can’t do anything more.

To reproduce.
1. Fresh zx-project-1.1
2. load and compile both the simprocs
3. Load the attached file with and start an new derivation.
4. Apply simp_rotate
5. After a while simp_rotate will still be thinking, but it’s clearly doing something useless, so press the stop button.
6. Try loading axioms/green_elim into the rewrite list — no matches

-r

[Ross Duncan]

Two addenda to this:

1. Here’s the attachment that should have been there.