isabelle: Changelog

nipkow [Thu, 18 Jul 2024 15:57:07 +0200] rev 80577

tuned

nipkow [Thu, 18 Jul 2024 15:17:46 +0200] rev 80576

added nicer proof

Fabian Huch <huch@in.tum.de> [Thu, 18 Jul 2024 13:52:51 +0200] rev 80575

better poller: don't start job when same version is already running;

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);

isabelle