Stream: General

Topic: Isabelle implementation of locales

view this post on Zulip Gergely Buday (Jan 15 2025 at 10:15):

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: Sep 13 2025 at 12:36 UTC