src/FOL/ex/Locale_Test/Locale_Test3.thy
changeset 68743 91162dd89571
parent 61566 c3d6e570ccef
child 69590 e65314985426