src/Doc/Locales/Examples3.thy
changeset 64990 c6a7de505796
parent 63724 e7df93d4d9b8
child 67398 5eb932e604a2