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 03 2024 at 08:18 UTC