Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+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
added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations
18 months ago, by desharna
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified order: accumulate strictly from left to right;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature: more types and operations;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
proper file extension for Isabelle_System.extract;
18 months ago, by wenzelm
tuned implementation;
18 months ago, by wenzelm
more uniform use of make_directory;
18 months ago, by wenzelm
tuned message;
18 months ago, by wenzelm
tuned: less redundant implementation;
18 months ago, by wenzelm
clarified signature: copy directory content more directly;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
clarified signature: more general operations;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
merged
18 months ago, by desharna
Strengthened multiset lemmas w.r.t. irrefl and irreflp
18 months ago, by desharna
clarified signature: proper scopes and types;
18 months ago, by wenzelm
maintain global state of document editor views, notably for is_active operation;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned whitespace;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
clarified signature: more robust;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
more specific GUI for document nodes;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
clarified signature: just one level of arguments to avoid type-inference problems;
18 months ago, by wenzelm
tuned signature: more operations;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
stated goals of some lemmas explicitely to prevent silent changes
18 months ago, by desharna
rewrite proofs using to_pred attribute on existing lemmas
18 months ago, by desharna
clarified signature: less redundancy;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
potentially more robust delay_load action: avoid loosing events due to guards;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more uniform tooltip for plugin options dialog;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more uniform session selectors, with persistent options;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
NEWS
18 months ago, by desharna
merged
18 months ago, by desharna
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
18 months ago, by desharna
added lemma totalp_on_converse[simp]
18 months ago, by desharna
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
18 months ago, by desharna
added type annotations and tuned formatting
18 months ago, by desharna
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
18 months ago, by desharna
merged
18 months ago, by wenzelm
tuned GUI behaviour;
18 months ago, by wenzelm
more GUI elements;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
clarified process: implicit load() when finished;
18 months ago, by wenzelm
more robust, notably initial update();
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned messages: implement "verbose = false", but there is no theory output anyway;
18 months ago, by wenzelm
merged
18 months ago, by desharna
added lemmas irrefl_on_subset and irreflp_on_subset
18 months ago, by desharna
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
18 months ago, by desharna
tuned messages;
18 months ago, by wenzelm
tuned message;
18 months ago, by wenzelm
tuned messages and options;
18 months ago, by wenzelm
merged
18 months ago, by desharna
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
18 months ago, by desharna
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
18 months ago, by wenzelm
more direct access to jEdit jar resources, without unzip;
18 months ago, by wenzelm
clarified check: allow to remove bad directories;
18 months ago, by wenzelm
clarified check;
18 months ago, by wenzelm
tuned message;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip