Fabian Huch <huch@in.tum.de> [Thu, 18 Jul 2024 13:08:11 +0200] rev 80574
clarified: more uniform;
desharna [Thu, 18 Jul 2024 10:43:55 +0200] rev 80573
merged
desharna [Wed, 17 Jul 2024 17:48:23 +0200] rev 80572
added lemmas wfp_on_antimono_stronger and wf_on_antimono_stronger
paulson <lp15@cam.ac.uk> [Wed, 17 Jul 2024 21:25:37 +0100] rev 80571
More streamlining
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);