2006-08-15 Achim D. Brucker Burkhart Wolff * HOL-OCL: first public release (version 0.9.0) 2001-03-09 Achim D. Brucker Burkhart Wolff * HOL-OCL: initial version.