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