isabelle: File revisions

src/HOL/Library/Product_Order.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
Sun, 16 Mar 2014 18:09:04 +0100	haftmann	normalising simp rules for compound operators	file \| diff \| annotate
Sat, 15 Mar 2014 08:31:33 +0100	haftmann	more complete set of lemmas wrt. image and composition	file \| diff \| annotate
Mon, 16 Dec 2013 17:08:22 +0100	immler	ordered_euclidean_space compatible with more standard pointwise ordering on products; conditionally complete lattice with product order	file \| diff \| annotate
Thu, 25 Jul 2013 08:57:16 +0200	haftmann	factored syntactic type classes for bot and top (by Alessandro Coglio)	file \| diff \| annotate
Tue, 26 Mar 2013 20:02:02 +0100	wenzelm	tuned imports;	file \| diff \| annotate
Thu, 14 Feb 2013 14:14:55 +0100	haftmann	consolidation of library theories on product orders	file \| diff \| annotate \| base

isabelle