2009-11-02 Achim D. Brucker <brucker@member.fsf.org>
		* Isabelle/OFMC: first public release (development version)