Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [isabelle-dev] Typing problem in autogenerated...

Email Gateway (Aug 18 2022 at 14:21):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
It is possible to use a different constraint:

Let us discuss the other issues offline...

Florian
signature.asc

Last updated: Nov 21 2024 at 12:39 UTC