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.
clarified signature;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
prefer SML here
18 months ago, by haftmann
Typo.
18 months ago, by haftmann
merged
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified names;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature (see also 8342cba8eae8);
18 months ago, by wenzelm
tuned names: avoid overlap with instances of class Resources;
18 months ago, by wenzelm
merged
18 months ago, by nipkow
file with partial function docu
18 months ago, by nipkow
Added section about code generation for partial functions
18 months ago, by nipkow
added lemmas sym_on_subset and symp_on_subset
18 months ago, by desharna
added lemmas sym_onD and symp_onD
18 months ago, by desharna
added lemmas sym_onI and symp_onI
18 months ago, by desharna
added lemma symp_on_sym_on_eq[pred_set_conv]
18 months ago, by desharna
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
18 months ago, by desharna
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
18 months ago, by desharna
added lemmas antisym_on_subset and antisymp_on_subset
18 months ago, by desharna
strengthened antisymp_le and antisymp_ge
18 months ago, by desharna
added lemmas antisym_onD and antisymp_onD
18 months ago, by desharna
added lemmas antisym_onI and antisymp_onI
18 months ago, by desharna
added lemma antisymp_reflcp
18 months ago, by desharna
added antisymp_on_antisym_on_eq[pred_set_conv]
18 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip