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.
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
added antisymp_on_antisym_on_eq[pred_set_conv]
19 months ago, by desharna
added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations
19 months ago, by desharna
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified order: accumulate strictly from left to right;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature: more types and operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
proper file extension for Isabelle_System.extract;
19 months ago, by wenzelm
tuned implementation;
19 months ago, by wenzelm
more uniform use of make_directory;
19 months ago, by wenzelm
tuned message;
19 months ago, by wenzelm
tuned: less redundant implementation;
19 months ago, by wenzelm
clarified signature: copy directory content more directly;
19 months ago, by wenzelm
more robust;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
clarified signature: more general operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
merged
19 months ago, by desharna
Strengthened multiset lemmas w.r.t. irrefl and irreflp
20 months ago, by desharna
clarified signature: proper scopes and types;
20 months ago, by wenzelm
maintain global state of document editor views, notably for is_active operation;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified signature: more robust;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip