simp_depth: now proper value in simpset (prevents problems with lost exception trace, enables multi-threaded simplification); trace_simp_depth_limit_exceeded: attempt to hide destructive pointer programming within simpset;
simp_depth: now proper value in simpset (prevents problems with lost exception trace, enables multi-threaded simplification);
trace_simp_depth_limit_exceeded: attempt to hide destructive pointer programming within simpset;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle