isabelle: Changelog

wenzelm [Fri, 24 Jun 2022 23:31:28 +0200] rev 75615

clarified modules;

wenzelm [Fri, 24 Jun 2022 23:11:59 +0200] rev 75614

prefer scalable Bytes.T;

wenzelm [Fri, 24 Jun 2022 11:20:14 +0200] rev 75613

unused;

wenzelm [Fri, 24 Jun 2022 10:55:23 +0200] rev 75612

prefer scalable Bytes.T;

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Sat, 25 Jun 2022 06:34:11 +0200] rev 75611

missing recursive let-expansion in SMT translation

desharna [Fri, 24 Jun 2022 21:17:35 +0200] rev 75610

merged

desharna [Fri, 24 Jun 2022 10:49:40 +0200] rev 75609

added lemma monotone_on_o

desharna [Fri, 24 Jun 2022 15:05:04 +0200] rev 75608

redefined mono_on and strict_mono_on as an abbreviation of monotone_on

desharna [Thu, 23 Jun 2022 19:29:22 +0200] rev 75607

changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates

wenzelm [Thu, 23 Jun 2022 23:42:47 +0200] rev 75606

more robust CSV syntax, e.g. for "pull_date";

isabelle