Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Parameterized theory

view this post on Zulip Email Gateway (Aug 18 2022 at 09:37):

From: Gabriele Pozzani <gabriele.pozzani@gmail.com>
Dear all,
it's possible define in Isabelle a theory parameterized on an index?

Thanks
Gabriele

Last updated: Dec 17 2025 at 08:33 UTC