Stream: Beginner Questions

Topic: Documentation 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: Jun 21 2025 at 01:46 UTC