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 03 2025 at 20:22 UTC