isabelle: Changelog

wenzelm [Mon, 19 Dec 2022 12:58:18 +0100] rev 76705

proper state change, e.g. on open/close of "Document" panel;

wenzelm [Mon, 19 Dec 2022 12:33:52 +0100] rev 76704

clarified module initialization;

wenzelm [Mon, 19 Dec 2022 12:22:47 +0100] rev 76703

clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel);

wenzelm [Mon, 19 Dec 2022 11:42:45 +0100] rev 76702

clarified signature;

wenzelm [Mon, 19 Dec 2022 11:16:46 +0100] rev 76701

tuned signature;

blanchet [Tue, 20 Dec 2022 18:20:19 +0100] rev 76700

added lifting_forget as suggested by Peter Lammich

desharna [Mon, 19 Dec 2022 14:09:37 +0100] rev 76699

merged

desharna [Mon, 19 Dec 2022 12:00:56 +0100] rev 76698

added lemma refl_lex_prod[simp]

desharna [Mon, 19 Dec 2022 12:00:15 +0100] rev 76697

added lemmas reflI and reflD

desharna [Mon, 19 Dec 2022 11:26:56 +0100] rev 76696

added lemmas asym_on_lex_prod[simp] and asym_lex_prod[simp]

isabelle