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.
added lemma asymp_on_asym_on_eq[pred_set_conv]
16 months ago, by desharna
strengthened and renamed asymp_less and asymp_greater
16 months ago, by desharna
added lemmas asym_on_subset and asymp_on_subset
16 months ago, by desharna
added lemmas asym_onI, asymp_onI, asym_onD, and asymp_onD
16 months ago, by desharna
added predicates asym_on and asymp_on and redefined asym and asymp to be abbreviations
16 months ago, by desharna
clarified state and process;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
merged
16 months ago, by desharna
strengthened and renamed symp_symclp
16 months ago, by desharna
merged
16 months ago, by nipkow
Tuned text
16 months ago, by nipkow
clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere);
16 months ago, by wenzelm
clarified signature: avoid case class with redefined equality;
16 months ago, by wenzelm
discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
unused;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned whitespace;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned output;
16 months ago, by wenzelm
prefer SML here
16 months ago, by haftmann
Typo.
16 months ago, by haftmann
merged
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified names;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned signature (see also 8342cba8eae8);
16 months ago, by wenzelm
tuned names: avoid overlap with instances of class Resources;
16 months ago, by wenzelm
merged
16 months ago, by nipkow
file with partial function docu
16 months ago, by nipkow
Added section about code generation for partial functions
16 months ago, by nipkow
added lemmas sym_on_subset and symp_on_subset
16 months ago, by desharna
added lemmas sym_onD and symp_onD
16 months ago, by desharna
added lemmas sym_onI and symp_onI
16 months ago, by desharna
added lemma symp_on_sym_on_eq[pred_set_conv]
16 months ago, by desharna
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
16 months ago, by desharna
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
16 months ago, by desharna
added lemmas antisym_on_subset and antisymp_on_subset
16 months ago, by desharna
strengthened antisymp_le and antisymp_ge
16 months ago, by desharna
added lemmas antisym_onD and antisymp_onD
16 months ago, by desharna
added lemmas antisym_onI and antisymp_onI
16 months ago, by desharna
added lemma antisymp_reflcp
16 months ago, by desharna
added antisymp_on_antisym_on_eq[pred_set_conv]
16 months ago, by desharna
added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations
16 months ago, by desharna
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified order: accumulate strictly from left to right;
16 months ago, by wenzelm
clarified modules;
16 months ago, by wenzelm
clarified modules;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified signature: more types and operations;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip