Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 17 Dec 2022 17:28:05 +0100 unused;
changeset
wenzelm [Sat, 17 Dec 2022 17:28:05 +0100] rev 76667
unused;
Sat, 17 Dec 2022 17:02:09 +0100 clarified signature;
changeset
wenzelm [Sat, 17 Dec 2022 17:02:09 +0100] rev 76666
clarified signature;
Sat, 17 Dec 2022 16:41:54 +0100 tuned whitespace;
changeset
wenzelm [Sat, 17 Dec 2022 16:41:54 +0100] rev 76665
tuned whitespace;
Sat, 17 Dec 2022 16:40:24 +0100 tuned;
changeset
wenzelm [Sat, 17 Dec 2022 16:40:24 +0100] rev 76664
tuned;
Sat, 17 Dec 2022 11:33:13 +0100 clarified signature;
changeset
wenzelm [Sat, 17 Dec 2022 11:33:13 +0100] rev 76663
clarified signature;
Sat, 17 Dec 2022 11:25:19 +0100 tuned signature;
changeset
wenzelm [Sat, 17 Dec 2022 11:25:19 +0100] rev 76662
tuned signature;
Sat, 17 Dec 2022 11:25:10 +0100 tuned output;
changeset
wenzelm [Sat, 17 Dec 2022 11:25:10 +0100] rev 76661
tuned output;
Sat, 17 Dec 2022 10:18:12 +0100 prefer SML here
changeset
haftmann [Sat, 17 Dec 2022 10:18:12 +0100] rev 76660
prefer SML here
Sat, 17 Dec 2022 10:12:03 +0100 Typo.
changeset
haftmann [Sat, 17 Dec 2022 10:12:03 +0100] rev 76659
Typo.
Fri, 16 Dec 2022 20:14:41 +0100 merged
changeset
wenzelm [Fri, 16 Dec 2022 20:14:41 +0100] rev 76658
merged
Fri, 16 Dec 2022 18:12:48 +0100 clarified signature;
changeset
wenzelm [Fri, 16 Dec 2022 18:12:48 +0100] rev 76657
clarified signature;
Fri, 16 Dec 2022 17:51:52 +0100 clarified names;
changeset
wenzelm [Fri, 16 Dec 2022 17:51:52 +0100] rev 76656
clarified names;
Fri, 16 Dec 2022 17:30:29 +0100 clarified signature;
changeset
wenzelm [Fri, 16 Dec 2022 17:30:29 +0100] rev 76655
clarified signature;
Fri, 16 Dec 2022 17:02:10 +0100 tuned signature;
changeset
wenzelm [Fri, 16 Dec 2022 17:02:10 +0100] rev 76654
tuned signature;
Fri, 16 Dec 2022 16:00:56 +0100 tuned signature (see also 8342cba8eae8);
changeset
wenzelm [Fri, 16 Dec 2022 16:00:56 +0100] rev 76653
tuned signature (see also 8342cba8eae8);
Fri, 16 Dec 2022 15:14:09 +0100 tuned names: avoid overlap with instances of class Resources;
changeset
wenzelm [Fri, 16 Dec 2022 15:14:09 +0100] rev 76652
tuned names: avoid overlap with instances of class Resources;
Fri, 16 Dec 2022 18:19:23 +0100 merged
changeset
nipkow [Fri, 16 Dec 2022 18:19:23 +0100] rev 76651
merged
Fri, 16 Dec 2022 18:18:57 +0100 file with partial function docu
changeset
nipkow [Fri, 16 Dec 2022 18:18:57 +0100] rev 76650
file with partial function docu
Fri, 16 Dec 2022 18:11:03 +0100 Added section about code generation for partial functions
changeset
nipkow [Fri, 16 Dec 2022 18:11:03 +0100] rev 76649
Added section about code generation for partial functions
Fri, 16 Dec 2022 10:30:15 +0100 added lemmas sym_on_subset and symp_on_subset
changeset
desharna [Fri, 16 Dec 2022 10:30:15 +0100] rev 76648
added lemmas sym_on_subset and symp_on_subset
Fri, 16 Dec 2022 10:28:37 +0100 added lemmas sym_onD and symp_onD
changeset
desharna [Fri, 16 Dec 2022 10:28:37 +0100] rev 76647
added lemmas sym_onD and symp_onD
Fri, 16 Dec 2022 10:23:51 +0100 added lemmas sym_onI and symp_onI
changeset
desharna [Fri, 16 Dec 2022 10:23:51 +0100] rev 76646
added lemmas sym_onI and symp_onI
Fri, 16 Dec 2022 10:18:35 +0100 added lemma symp_on_sym_on_eq[pred_set_conv]
changeset
desharna [Fri, 16 Dec 2022 10:18:35 +0100] rev 76645
added lemma symp_on_sym_on_eq[pred_set_conv]
Fri, 16 Dec 2022 10:13:52 +0100 added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
changeset
desharna [Fri, 16 Dec 2022 10:13:52 +0100] rev 76644
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
Fri, 16 Dec 2022 09:55:22 +0100 added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
changeset
desharna [Fri, 16 Dec 2022 09:55:22 +0100] rev 76643
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
Thu, 15 Dec 2022 13:18:25 +0100 added lemmas antisym_on_subset and antisymp_on_subset
changeset
desharna [Thu, 15 Dec 2022 13:18:25 +0100] rev 76642
added lemmas antisym_on_subset and antisymp_on_subset
Thu, 15 Dec 2022 12:32:01 +0100 strengthened antisymp_le and antisymp_ge
changeset
desharna [Thu, 15 Dec 2022 12:32:01 +0100] rev 76641
strengthened antisymp_le and antisymp_ge
Thu, 15 Dec 2022 10:55:01 +0100 added lemmas antisym_onD and antisymp_onD
changeset
desharna [Thu, 15 Dec 2022 10:55:01 +0100] rev 76640
added lemmas antisym_onD and antisymp_onD
Thu, 15 Dec 2022 10:51:46 +0100 added lemmas antisym_onI and antisymp_onI
changeset
desharna [Thu, 15 Dec 2022 10:51:46 +0100] rev 76639
added lemmas antisym_onI and antisymp_onI
Thu, 15 Dec 2022 09:44:50 +0100 added lemma antisymp_reflcp
changeset
desharna [Thu, 15 Dec 2022 09:44:50 +0100] rev 76638
added lemma antisymp_reflcp
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
isabelle