isabelle: Changelog

desharna [Wed, 12 May 2021 09:31:18 +0200] rev 73680

added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran

nipkow [Wed, 12 May 2021 06:35:16 +0200] rev 73679

merged

nipkow [Tue, 11 May 2021 22:40:59 +0200] rev 73678

generalized type

wenzelm [Tue, 11 May 2021 21:57:43 +0200] rev 73677

basic setup of Isabelle setup tool --- pure Java, no dependencies;

wenzelm [Tue, 11 May 2021 21:21:01 +0200] rev 73676

merged

wenzelm [Tue, 11 May 2021 20:19:07 +0200] rev 73675

guess package more directly;

paulson [Tue, 11 May 2021 18:56:33 +0100] rev 73674

merged

paulson <lp15@cam.ac.uk> [Tue, 11 May 2021 15:50:19 +0100] rev 73673

Just one lemma

wenzelm [Tue, 11 May 2021 16:55:42 +0200] rev 73672

proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;

wenzelm [Tue, 11 May 2021 16:30:24 +0200] rev 73671

clarified platforms;

isabelle