src/FOL/ex/Locale_Test/Locale_Test2.thy
changeset 66787 64b47495676d
parent 61566 c3d6e570ccef
child 69590 e65314985426