Where is the locale concept implemented?
src/Pure/Isar/local_theory.ML src/Pure/Isar/locale.ML
are files I have found, but are there more?
Last updated: Apr 26 2025 at 12:36 UTC