Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [isabelle-dev] how to run the SET protocol..

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

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi,

all those theories are contained in the release bundle from
Isabelle2009-2. There should be no necessity to assemble them by hand,
they should just work.

Florian
signature.asc

Last updated: Apr 19 2024 at 08:19 UTC