What is the canonical way to write to a file for logging in Isabelle/ML?
Last updated: Sep 18 2025 at 12:41 UTC