Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Library/Order_Continuity.thy
Mon, 13 Jul 2015 14:39:50 +0200
hoelzl
stronger induction assumption in lfp_transfer and emeasure_lfp
file
|
diff
|
annotate
Fri, 03 Jul 2015 08:26:34 +0200
hoelzl
add named theorems order_continuous_intros; lfp/gfp_funpow; bounded variant for lfp/gfp transfer
file
|
diff
|
annotate
Tue, 30 Jun 2015 13:30:04 +0200
hoelzl
generalized inf and sup_continuous; added intro rules
file
|
diff
|
annotate
Wed, 17 Jun 2015 11:03:05 +0200
wenzelm
isabelle update_cartouches;
file
|
diff
|
annotate
Thu, 11 Jun 2015 18:24:44 +0200
hoelzl
add transfer theorems for fixed points
file
|
diff
|
annotate
Mon, 04 May 2015 17:35:31 +0200
hoelzl
rename continuous and down_continuous in Order_Continuity to sup_/inf_continuous; relate them with topological continuity
file
|
diff
|
annotate
Sun, 02 Nov 2014 17:20:45 +0100
wenzelm
modernized header;
file
|
diff
|
annotate
Mon, 10 Mar 2014 20:04:40 +0100
hoelzl
introduced antimono; incseq, decseq are now abbreviations for mono and antimono; renamed Library/Continuity to Library/Order_Continuity; removed up_cont; renamed down_cont to down_continuity and generalized to complete_lattices
file
|
diff
|
annotate
|
base
less
more
(0)
tip