From: Gerwin Klein <Gerwin.Klein@nicta.com.au> This is probably of interest to isabelle-users as well.
Cheers, Gerwin
Last updated: May 18 2024 at 20:16 UTC