paulson [Mon, 15 Jul 2024 21:48:30 +0100] rev 80570
merged
paulson <lp15@cam.ac.uk> [Mon, 15 Jul 2024 21:48:23 +0100] rev 80569
Revised mixfix and streamlined proofs
wenzelm [Sun, 14 Jul 2024 18:10:06 +0200] rev 80568
clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);
wenzelm [Sun, 14 Jul 2024 17:56:54 +0200] rev 80567
tuned output, following Isabelle/Scala;
wenzelm [Sun, 14 Jul 2024 17:49:30 +0200] rev 80566
clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;
wenzelm [Sun, 14 Jul 2024 16:17:31 +0200] rev 80565
clarified signature, following Isabelle/Scala;
wenzelm [Sun, 14 Jul 2024 16:07:03 +0200] rev 80564
afford larger example (see also ccf9241af217);
wenzelm [Sun, 14 Jul 2024 15:56:58 +0200] rev 80563
more scalable operations;
wenzelm [Sun, 14 Jul 2024 15:50:42 +0200] rev 80562
tuned;
wenzelm [Sun, 14 Jul 2024 15:49:26 +0200] rev 80561
tuned (see also 4879d0021185);