| Fri, 17 Jan 2025 11:16:11 +0100 | wenzelm | clarified signature, following Isabelle/Scala; | changeset | files |
| Fri, 17 Jan 2025 11:05:36 +0100 | wenzelm | clarified pattern via antiquotations; | changeset | files |
| Fri, 17 Jan 2025 11:01:44 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Fri, 17 Jan 2025 10:56:10 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jan 2025 10:53:30 +0100 | wenzelm | clarified make_type: proper make_name; | changeset | files |
| Fri, 17 Jan 2025 10:51:47 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jan 2025 10:46:59 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jan 2025 10:43:23 +0100 | wenzelm | clarified signature: more standard Isabelle/ML; | changeset | files |
| Thu, 16 Jan 2025 23:20:44 +0100 | wenzelm | reproducible construction of HOL Light export bundle; | changeset | files |
| Thu, 16 Jan 2025 22:54:25 +0100 | wenzelm | tuned messages; | changeset | files |
| Thu, 16 Jan 2025 22:48:16 +0100 | wenzelm | more robust options; | changeset | files |
| Thu, 16 Jan 2025 13:14:24 +0100 | wenzelm | clarified signature: more explicit operations; | changeset | files |
| Thu, 16 Jan 2025 12:45:48 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Jan 2025 12:41:55 +0100 | wenzelm | tuned: prefer inlined thms; | changeset | files |