Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Haskabelle intermediate release

view this post on Zulip Email Gateway (Aug 18 2022 at 13:59):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Haskabelle2009II contains various corrections and improvements over its
predecessor; it is available from http://isabelle.in.tum.de/haskabelle.html

Florian
signature.asc

Last updated: Apr 20 2024 at 08:16 UTC