<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> | |
<html> | |
<head> | |
<title>Tutorial: Working with OCL</title> | |
<meta http-equiv="REFRESH" content="0;url=../help/OCLInterpreterTutorial.html"/> | |
</head> | |
</html> |