package.html 135 Bytes
Newer Older
1
<!-- (c) 2017 fortiss GmbH -->
2
3
4
<body>
This package contains implementations of different eOperations for the imperative terms.
</body>