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