Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AWE Extensions pack (now for Isabelle2007).

Email Gateway (Aug 18 2022 at 11:15):

From: Christoph Lueth <Christoph.Lueth@dfki.de>
Dear Isabelle people,

we are happy to announce the release 0.5 of the AWE extensions for Isabelle,
offering extensions such as theory morphisms, parameterised theories and
theorem abstraction.

This release includes a rewritten user manual and now works with Isabelle2007.
It can be downloaded from here:

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

The download also includes plenty of interesting examples modelled with our
extensions, such as computational monads. Enjoy!

--Maksym Bortin, Christoph Lüth.

Last updated: May 03 2024 at 08:18 UTC