| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Fri, 16 Dec 2022 18:11:03 +0100 | nipkow | Added section about code generation for partial functions | file | diff | annotate |
| Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 29 Mar 2019 13:42:17 +0100 | wenzelm | clarified 'file_prefix'; | file | diff | annotate |