Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(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
.
The revision graph only works with JavaScript-enabled browsers.
renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset
20 months ago, by desharna
merged
20 months ago, by wenzelm
proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning "Nothing to build";
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
less ambitious Bytes.chunk_size, which is presumably more stable with memory management under heavy load;
20 months ago, by wenzelm
tuned comment;
20 months ago, by wenzelm
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
20 months ago, by wenzelm
updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);
20 months ago, by wenzelm
more robust: prefer Windows $USERNAME;
20 months ago, by wenzelm
proper home directory for ssh configuration (e.g. ~/.ssh/config);
20 months ago, by wenzelm
more NEWS;
20 months ago, by wenzelm
clarified signature: more arguments;
20 months ago, by wenzelm
added lemma fimage_strict_mono
20 months ago, by desharna
added lemma wfP_pfsubset
20 months ago, by desharna
added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
20 months ago, by desharna
update components.sha1;
20 months ago, by wenzelm
proper description;
20 months ago, by wenzelm
one more lemma
20 months ago, by nipkow
merged
20 months ago, by nipkow
adjusted proofs
20 months ago, by nipkow
added and reorganized lemmas (some suggested by Jeremy Sylvestre)
20 months ago, by nipkow
removed redundant lemma
20 months ago, by nipkow
moved theorem from Fun to Set
20 months ago, by nipkow
added lemmas antisymp_ge[simp], antisymp_greater[simp], antisymp_le[simp], and antisymp_less[simp]
20 months ago, by desharna
added lemmas reflp_ge[simp] and reflp_le[simp]
20 months ago, by desharna
removed unused universal variable from lemma reflp_onI
20 months ago, by desharna
added lemmas irreflD and irreflpD
20 months ago, by desharna
added lemmas antisym_if_asym and antisymp_if_asymp
20 months ago, by desharna
strengthened lemma total_on_singleton and added lemma totalp_on_singleton
20 months ago, by desharna
generalized type classes as suggested by Jeremy Sylvestre
20 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip