From: Gerwin Klein <Gerwin.Klein@nicta.com.au> This is probably of interest to isabelle-users as well.
Cheers, Gerwin
Last updated: Jul 26 2025 at 08:28 UTC