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: Apr 19 2024 at 20:15 UTC