src/HOL/ex/Locales.thy
changeset 23024 70435ffe077d
parent 19931 fb32b43e7f80