| Mon, 19 Dec 2022 12:22:47 +0100 | wenzelm | clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel); | changeset | files |
| Mon, 19 Dec 2022 11:42:45 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 19 Dec 2022 11:16:46 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 20 Dec 2022 18:20:19 +0100 | blanchet | added lifting_forget as suggested by Peter Lammich | changeset | files |
| Mon, 19 Dec 2022 14:09:37 +0100 | desharna | merged | changeset | files |
| Mon, 19 Dec 2022 12:00:56 +0100 | desharna | added lemma refl_lex_prod[simp] | changeset | files |
| Mon, 19 Dec 2022 12:00:15 +0100 | desharna | added lemmas reflI and reflD | changeset | files |
| Mon, 19 Dec 2022 11:26:56 +0100 | desharna | added lemmas asym_on_lex_prod[simp] and asym_lex_prod[simp] | changeset | files |