isabelle: File revisions

src/HOL/Algebra/Coset.thy

2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-08-03	ballarin	2006-08-03	Restructured algebra library, added ideals and quotient rings.	file \| diff \| annotate
2006-06-20	ballarin	2006-06-20	Restructured locales with predicates: import is now an interpretation. New method intro_locales.	file \| diff \| annotate
2006-04-09	wenzelm	2006-04-09	tuned syntax/abbreviations;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-08-06	nipkow	2004-08-06	undid UN/INT syntax	file \| diff \| annotate
2004-06-17	paulson	2004-06-17	removal of magmas and semigroups	file \| diff \| annotate
2004-05-26	paulson	2004-05-26	more group isomorphisms	file \| diff \| annotate
2004-05-19	paulson	2004-05-19	more results about isomorphisms	file \| diff \| annotate
2004-05-14	paulson	2004-05-14	removal of locale coset	file \| diff \| annotate
2004-05-06	wenzelm	2004-05-06	tuned document;	file \| diff \| annotate
2004-04-23	wenzelm	2004-04-23	improved notation;	file \| diff \| annotate
2004-04-22	wenzelm	2004-04-22	improved notation;	file \| diff \| annotate
2004-04-08	paulson	2004-04-08	some (much longer) structured proofs	file \| diff \| annotate
2003-11-06	ballarin	2003-11-06	Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by default.	file \| diff \| annotate
2003-05-01	paulson	2003-05-01	moving Bij.thy from GroupTheory to Algebra	file \| diff \| annotate
2003-04-30	ballarin	2003-04-30	HOL-Algebra: New polynomial development added.	file \| diff \| annotate
2003-04-30	ballarin	2003-04-30	Greatly extended CRing. Added Module.	file \| diff \| annotate
2003-04-01	ballarin	2003-04-01	Fixed Coset.thy (proved theorem factorgroup_is_group).	file \| diff \| annotate
2003-03-18	paulson	2003-03-18	moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them to the new Group setup. Deleted Ring, Module from GroupTheory Minor UNITY changes	file \| diff \| annotate

isabelle

RSS Atom