isabelle: Changelog

paulson <lp15@cam.ac.uk> [Sun, 14 Aug 2022 23:51:47 +0100] rev 75864

moved some material from Sum_of_Powers

wenzelm [Sun, 14 Aug 2022 18:38:40 +0200] rev 75863

merged

wenzelm [Sun, 14 Aug 2022 18:35:59 +0200] rev 75862

clarified signature;

wenzelm [Sun, 14 Aug 2022 12:18:06 +0200] rev 75861

clarified theory_names with exported content;

wenzelm [Sun, 14 Aug 2022 12:01:47 +0200] rev 75860

proper export theory_names: theory/parents are not necessarily present (amending 4d27b520622a);

wenzelm [Sun, 14 Aug 2022 11:39:28 +0200] rev 75859

proper treatment of empty lines (amending 08f89f0e8a62);

wenzelm [Sun, 14 Aug 2022 11:20:10 +0200] rev 75858

clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);

paulson [Sun, 14 Aug 2022 11:11:11 +0100] rev 75857

merged

paulson <lp15@cam.ac.uk> [Sat, 13 Aug 2022 20:08:24 +0100] rev 75856

The right way to formulate card_UNION, plus the old version for compatibility

wenzelm [Sat, 13 Aug 2022 23:47:08 +0200] rev 75855

tuned comments;

isabelle