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
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.
more robust: prefer Windows $USERNAME;
21 months ago, by wenzelm
proper home directory for ssh configuration (e.g. ~/.ssh/config);
21 months ago, by wenzelm
more NEWS;
21 months ago, by wenzelm
clarified signature: more arguments;
21 months ago, by wenzelm
added lemma fimage_strict_mono
21 months ago, by desharna
added lemma wfP_pfsubset
21 months ago, by desharna
added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
21 months ago, by desharna
update components.sha1;
21 months ago, by wenzelm
proper description;
21 months ago, by wenzelm
one more lemma
21 months ago, by nipkow
merged
21 months ago, by nipkow
adjusted proofs
21 months ago, by nipkow
added and reorganized lemmas (some suggested by Jeremy Sylvestre)
21 months ago, by nipkow
removed redundant lemma
21 months ago, by nipkow
moved theorem from Fun to Set
21 months ago, by nipkow
added lemmas antisymp_ge[simp], antisymp_greater[simp], antisymp_le[simp], and antisymp_less[simp]
21 months ago, by desharna
added lemmas reflp_ge[simp] and reflp_le[simp]
21 months ago, by desharna
removed unused universal variable from lemma reflp_onI
21 months ago, by desharna
added lemmas irreflD and irreflpD
21 months ago, by desharna
added lemmas antisym_if_asym and antisymp_if_asymp
21 months ago, by desharna
strengthened lemma total_on_singleton and added lemma totalp_on_singleton
21 months ago, by desharna
generalized type classes as suggested by Jeremy Sylvestre
21 months ago, by nipkow
euclidean division on gaussian numbers
21 months ago, by haftmann
tuned proof
21 months ago, by haftmann
note on signed division on words
22 months ago, by haftmann
tuned definition
22 months ago, by haftmann
spelling
22 months ago, by haftmann
tuned proof
22 months ago, by haftmann
slightly less abusive proof pattern
22 months ago, by haftmann
back to post-release mode -- after fork point;
22 months ago, by wenzelm
Added tag Isabelle2022-RC3 for changeset d704efeb01db
22 months ago, by wenzelm
proper cygwin component (see d042947e47a3)
22 months ago, by wenzelm
proper base names;
22 months ago, by wenzelm
suppress command echo in output;
22 months ago, by wenzelm
include openssh for rsync (see also a1c7829ac2de);
22 months ago, by wenzelm
provide naproche-20221002;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
clarified signature: more operations;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
22 months ago, by wenzelm
clarified signature, to support external tools like "isabelle narration";
22 months ago, by wenzelm
syntactic type classes for signed division operators
22 months ago, by haftmann
reduce prominence of facts
22 months ago, by haftmann
clarified signature;
22 months ago, by wenzelm
more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
22 months ago, by wenzelm
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
22 months ago, by wenzelm
added documentation about new order prover
22 months ago, by Lukas Stevens
tweaked
22 months ago, by Lukas Stevens
tweaked;
22 months ago, by Fabian Huch
moved relevant theorems from theory Divides to theory Euclidean_Division
22 months ago, by haftmann
amend jenkins ci build;
22 months ago, by Fabian Huch
restructured ci profile into modular ci build system;
22 months ago, by Fabian Huch
more structured proofs
22 months ago, by paulson
fixed some theory presentation issues (?)
22 months ago, by paulson
recover informal "&" from 0c18df79b1c8;
22 months ago, by wenzelm
added a couple of structured proofs
22 months ago, by paulson
More obsolete "unfold" calls
22 months ago, by paulson
getting rid of apply (unfold ...)
22 months ago, by paulson
More syntactic cleanup. LaTeX markup working
22 months ago, by paulson
more modernisation of syntax
22 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip