Ceta: http://cl2-informatik.uibk.ac.at/rewriting/mercurial.cgi/IsaFoR/file/5733543649da/xml/cpf.xsd#l3968
