isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

clarified module initialization;
2022-12-19, by wenzelm
clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel);
2022-12-19, by wenzelm
clarified signature;
2022-12-19, by wenzelm
tuned signature;
2022-12-19, by wenzelm
added lifting_forget as suggested by Peter Lammich
2022-12-20, by blanchet
merged
2022-12-19, by desharna
added lemma refl_lex_prod[simp]
2022-12-19, by desharna
added lemmas reflI and reflD
2022-12-19, by desharna
added lemmas asym_on_lex_prod[simp] and asym_lex_prod[simp]
2022-12-19, by desharna
added lemmas sym_on_lex_prod[simp] and sym_lex_prod[simp]
2022-12-19, by desharna
added lemmas irrefl_on_lex_prod[simp] and irrefl_lex_prod[simp]
2022-12-19, by desharna
strengthened and renamed lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
2022-12-19, by desharna
strengthened and renamed lemma antisym_converse and added lemma antisymp_on_conversep
2022-12-19, by desharna
added lemmas asym_on_converse[simp] and asymp_on_conversep[simp]
2022-12-19, by desharna
strengthened and renamed lemma sym_converse and added lemma symp_on_conversep
2022-12-19, by desharna
strengthened and renamed lemmas antisymp_less and antisymp_greater
2022-12-19, by desharna
strengthened lemmas antisym_on_if_asym_on and antisymp_on_if_asymp_on
2022-12-19, by desharna
tuned naming
2022-12-19, by desharna
added lemma asymp_on_asym_on_eq[pred_set_conv]
2022-12-19, by desharna
strengthened and renamed asymp_less and asymp_greater
2022-12-19, by desharna
added lemmas asym_on_subset and asymp_on_subset
2022-12-19, by desharna
added lemmas asym_onI, asymp_onI, asym_onD, and asymp_onD
2022-12-19, by desharna
added predicates asym_on and asymp_on and redefined asym and asymp to be abbreviations
2022-12-18, by desharna
clarified state and process;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
clarified signature;
2022-12-18, by wenzelm
merged
2022-12-18, by desharna
strengthened and renamed symp_symclp
2022-12-16, by desharna
merged
2022-12-17, by nipkow
Tuned text
2022-12-17, by nipkow
clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere);
2022-12-17, by wenzelm
clarified signature: avoid case class with redefined equality;
2022-12-17, by wenzelm
discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);
2022-12-17, by wenzelm
tuned;
2022-12-17, by wenzelm
clarified signature;
2022-12-17, by wenzelm
unused;
2022-12-17, by wenzelm
clarified signature;
2022-12-17, by wenzelm
tuned whitespace;
2022-12-17, by wenzelm
tuned;
2022-12-17, by wenzelm
clarified signature;
2022-12-17, by wenzelm
tuned signature;
2022-12-17, by wenzelm
tuned output;
2022-12-17, by wenzelm
prefer SML here
2022-12-17, by haftmann
Typo.
2022-12-17, by haftmann
merged
2022-12-16, by wenzelm
clarified signature;
2022-12-16, by wenzelm
clarified names;
2022-12-16, by wenzelm
clarified signature;
2022-12-16, by wenzelm
tuned signature;
2022-12-16, by wenzelm
tuned signature (see also 8342cba8eae8);
2022-12-16, by wenzelm
tuned names: avoid overlap with instances of class Resources;
2022-12-16, by wenzelm
merged
2022-12-16, by nipkow
file with partial function docu
2022-12-16, by nipkow
Added section about code generation for partial functions
2022-12-16, by nipkow
added lemmas sym_on_subset and symp_on_subset
2022-12-16, by desharna
added lemmas sym_onD and symp_onD
2022-12-16, by desharna
added lemmas sym_onI and symp_onI
2022-12-16, by desharna
added lemma symp_on_sym_on_eq[pred_set_conv]
2022-12-16, by desharna

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle