isabelle: Changelog

wenzelm [Wed, 03 Mar 2021 20:56:30 +0100] rev 73352

updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);

wenzelm [Wed, 03 Mar 2021 16:54:21 +0100] rev 73351

slightly more efficient Term.fastype_of (only little impact in regular applications);

haftmann [Tue, 02 Mar 2021 08:09:05 +0000] rev 73350

reduced dependencies on theory List_Permutation

paulson <lp15@cam.ac.uk> [Mon, 01 Mar 2021 23:26:27 +0000] rev 73349

Merge

paulson <lp15@cam.ac.uk> [Mon, 01 Mar 2021 17:59:17 +0000] rev 73348

reverted simprule status on a new lemma

paulson [Mon, 01 Mar 2021 14:47:08 +0000] rev 73347

merged

paulson <lp15@cam.ac.uk> [Mon, 01 Mar 2021 14:46:51 +0000] rev 73346

tiny bit of lemma hacking

wenzelm [Mon, 01 Mar 2021 23:26:55 +0100] rev 73345

tuned --- fewer warnings;

isabelle