2005-08-17 Achim D. Brucker <brucker@inf.ethz.ch>
Jürgen Doser <doserj@inf.ethz.ch>
* su4sml: inital version, based on work started within the
HOL-OCL project