Skip to content
Success

Changes

Summary

  1. Highlight that 'intro_locales' and 'trace_locales' are useful debug features, plus minor clarifications.
Changeset 72804:d7393c35aa5d by ballarin:
Highlight that 'intro_locales' and 'trace_locales' are useful debug features, plus minor clarifications.
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)