isabelle: File revisions

src/HOL/Library/Product_Order.thy

2015-09-13	wenzelm	2015-09-13	renamed method "goals" to "goal_cases" to emphasize its meaning;	file \| diff \| annotate
2015-07-06	wenzelm	2015-07-06	tuned proofs;	file \| diff \| annotate
2015-06-25	wenzelm	2015-06-25	tuned proofs;	file \| diff \| annotate
2015-06-17	wenzelm	2015-06-17	isabelle update_cartouches;	file \| diff \| annotate
2014-11-02	wenzelm	2014-11-02	modernized header;	file \| diff \| annotate
2014-03-19	haftmann	2014-03-19	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
2014-03-18	haftmann	2014-03-18	consolidated theorem names containing INFI and SUPR: have INF and SUP instead uniformly	file \| diff \| annotate
2014-03-16	haftmann	2014-03-16	normalising simp rules for compound operators	file \| diff \| annotate
2014-03-15	haftmann	2014-03-15	more complete set of lemmas wrt. image and composition	file \| diff \| annotate
2013-12-16	immler	2013-12-16	ordered_euclidean_space compatible with more standard pointwise ordering on products; conditionally complete lattice with product order	file \| diff \| annotate
2013-07-25	haftmann	2013-07-25	factored syntactic type classes for bot and top (by Alessandro Coglio)	file \| diff \| annotate
2013-03-26	wenzelm	2013-03-26	tuned imports;	file \| diff \| annotate
2013-02-14	haftmann	2013-02-14	consolidation of library theories on product orders	file \| diff \| annotate \| base

isabelle

RSS Atom