From: Gerwin Klein <Gerwin.Klein@nicta.com.au> This is probably of interest to isabelle-users as well.
Cheers, Gerwin
Last updated: Apr 27 2024 at 12:25 UTC