6 lines
173 B
Plaintext
6 lines
173 B
Plaintext
|
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
|