isabelle: Changelog

wenzelm [Thu, 13 May 2021 15:38:52 +0200] rev 73689

unused;

wenzelm [Wed, 12 May 2021 17:17:46 +0200] rev 73688

unused (see 8ffc607c345d);

wenzelm [Wed, 12 May 2021 16:47:52 +0200] rev 73687

clarified signature: provide access to previous state;

wenzelm [Wed, 12 May 2021 14:55:51 +0200] rev 73686

clarified signature (see Scala version);

wenzelm [Wed, 12 May 2021 13:10:13 +0200] rev 73685

tuned signature;

wenzelm [Wed, 12 May 2021 12:22:44 +0200] rev 73684

avoid duplicate loading of ML file;

paulson <lp15@cam.ac.uk> [Fri, 14 May 2021 12:43:19 +0100] rev 73683

strict_sorted now an abbreviation

haftmann [Wed, 12 May 2021 17:05:29 +0000] rev 73682

explicit type class operations for type-specific implementations

haftmann [Wed, 12 May 2021 17:05:28 +0000] rev 73681

obsolete

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

added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran

isabelle