isabelle: File revisions

src/HOL/Lattices.thy

2007-09-29	haftmann	2007-09-29	further localization	file \| diff \| annotate
2007-09-18	ballarin	2007-09-18	Simplified proofs due to transitivity reasoner setup.	file \| diff \| annotate
2007-09-01	wenzelm	2007-09-01	mono_Int/Un: proper proof, avoid illegal schematic type vars; removed obsolete ML bindings;	file \| diff \| annotate
2007-08-20	haftmann	2007-08-20	Sup now explicit parameter of complete_lattice	file \| diff \| annotate
2007-08-07	haftmann	2007-08-07	tuned	file \| diff \| annotate
2007-07-24	haftmann	2007-07-24	using class target	file \| diff \| annotate
2007-07-20	haftmann	2007-07-20	simplified HOL bootstrap	file \| diff \| annotate
2007-06-14	wenzelm	2007-06-14	tuned proofs: avoid implicit prems;	file \| diff \| annotate
2007-05-24	haftmann	2007-05-24	rudimentary class target implementation	file \| diff \| annotate
2007-05-19	haftmann	2007-05-19	no special treatment in naming of locale predicates stemming form classes	file \| diff \| annotate
2007-05-10	haftmann	2007-05-10	tuned	file \| diff \| annotate
2007-04-20	haftmann	2007-04-20	tuned	file \| diff \| annotate
2007-03-29	haftmann	2007-03-29	dropped legacy ML bindings	file \| diff \| annotate
2007-03-16	haftmann	2007-03-16	integrated with LOrder.thy	file \| diff \| annotate
2007-03-09	haftmann	2007-03-09	stepping towards uniform lattice theory development in HOL	file \| diff \| annotate
2007-03-02	haftmann	2007-03-02	prefix of class interpretation not mandatory any longer	file \| diff \| annotate
2007-01-22	nipkow	2007-01-22	simplified proofs	file \| diff \| annotate
2007-01-20	wenzelm	2007-01-20	tuned ML setup;	file \| diff \| annotate
2007-01-16	haftmann	2007-01-16	renamed locale partial_order to order	file \| diff \| annotate
2006-12-10	nipkow	2006-12-10	renaming	file \| diff \| annotate
2006-12-10	nipkow	2006-12-10	Modified lattice locale	file \| diff \| annotate
2006-12-01	haftmann	2006-12-01	stripped some legacy bindings	file \| diff \| annotate
2006-11-15	haftmann	2006-11-15	reworking of min/max lemmas	file \| diff \| annotate
2006-11-12	nipkow	2006-11-12	started reorgnization of lattice theories	file \| diff \| annotate
2006-11-08	haftmann	2006-11-08	renamed Lattice_Locales to Lattices	file \| diff \| annotate

isabelle

RSS Atom