From: Randy Pollack <rpollack@inf.ed.ac.uk> Is there any support in Isar/HOL for double induction?
Thanks, Randy
Last updated: May 03 2024 at 04:19 UTC