Stream: Beginner Questions

Topic: Dcoumentation unify_trace_failure

Robert Soeldner (Sep 26 2021 at 09:25):

Is there any documentation available for unify_trace_failure similar to show_types and friends in the Isar-Ref? I always struggle to remember these command.

Last updated: Jul 15 2022 at 23:21 UTC