isabelle: File revisions

src/HOL/Library/Liminf_Limsup.thy

Wed, 19 Mar 2014 18:47:22 +0100	haftmann	elongated INFI and SUPR, to reduced risk of confusing theorems names in the future while still being consistent with INTER and UNION	file \| diff \| annotate
Tue, 18 Mar 2014 22:11:46 +0100	haftmann	consolidated theorem names containing INFI and SUPR: have INF and SUP instead uniformly	file \| diff \| annotate
Tue, 05 Nov 2013 09:45:00 +0100	hoelzl	restrict Limsup and Liminf to complete lattices	file \| diff \| annotate
Tue, 05 Nov 2013 09:44:57 +0100	hoelzl	generalize SUP and INF to the syntactic type classes Sup and Inf	file \| diff \| annotate
Tue, 03 Sep 2013 22:04:23 +0200	wenzelm	tuned proofs -- less guessing;	file \| diff \| annotate
Tue, 03 Sep 2013 01:12:40 +0200	wenzelm	tuned proofs -- clarified flow of facts wrt. calculation;	file \| diff \| annotate
Tue, 27 Aug 2013 16:06:27 +0200	hoelzl	renamed inner_dense_linorder to dense_linorder	file \| diff \| annotate
Tue, 26 Mar 2013 20:02:02 +0100	wenzelm	tuned imports;	file \| diff \| annotate
Tue, 05 Mar 2013 15:43:08 +0100	hoelzl	move Liminf / Limsup lemmas on complete_lattices to its own file	file \| diff \| annotate

isabelle