Adding sources for OCL semantics from the svn repo.