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: Jul 26 2025 at 08:28 UTC