<!-- (c) 2017 fortiss GmbH -->
<body> This package contains implementations of different eOperations for the imperative terms. </body>