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: May 06 2024 at 16:21 UTC