Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Changeset 10415:4246e7e4c778 by denis nikiforov _denis.nikif@gmail.com_: fixed Safe_OCL
The file was modified	`thys/Safe_OCL/OCL_Examples.thy`