[isabelle] Isabelle Extensions available.



Dear Isabelle people,

please let us draw your attention to the AWE Extensions pack, a set of
extensions to Isabelle2005, such as theory morphisms, parameterised theories and
theorem abstraction.

We have just released Version 0.4, suitable for use with Isabelle2005, and
invite you to download it from our web site (under 'Software'):

	http://www.informatik.uni-bremen.de/~cxl/awe

The download also includes plenty of interesting examples modelled with our
extensions, such as computational monads. A manual is also available.

We hope this might prove interesting or even useful to you.

Best regards,
-- Christoph Lüth, Maksym Bortin, and Einar Broch Johnsen.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.