isabelle: File revisions

src/HOL/Equiv_Relations.thy

2009-03-02	nipkow	2009-03-02	name changes	file \| diff \| annotate
2009-01-28	haftmann	2009-01-28	Plain, Main form meeting points in import hierarchy	file \| diff \| annotate
2008-10-10	haftmann	2008-10-10	`code func` now just `code`	file \| diff \| annotate
2008-09-16	haftmann	2008-09-16	dropped superfluous code lemmas	file \| diff \| annotate
2008-05-07	berghofe	2008-05-07	Instantiated subst rule to avoid problems with HO unification.	file \| diff \| annotate
2007-11-28	haftmann	2007-11-28	dropped implicit assumption proof	file \| diff \| annotate
2007-09-26	haftmann	2007-09-26	moved Finite_Set before Datatype	file \| diff \| annotate
2007-07-10	haftmann	2007-07-10	moved finite lemmas to Finite_Set.thy	file \| diff \| annotate
2006-12-10	wenzelm	2006-12-10	respects2: tuned spacing;	file \| diff \| annotate
2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-07-03	nipkow	2006-07-03	replaced translation by abbreviation	file \| diff \| annotate
2006-04-08	wenzelm	2006-04-08	refined 'abbreviation';	file \| diff \| annotate
2006-03-23	nipkow	2006-03-23	Converted translations to abbbreviations. Removed a few odd functions from Map and AssocList. Moved chg_map from Map to Bali/Basis.	file \| diff \| annotate
2005-12-22	nipkow	2005-12-22	more lemmas	file \| diff \| annotate
2005-12-22	nipkow	2005-12-22	new lemmas	file \| diff \| annotate
2005-09-22	nipkow	2005-09-22	renamed rules to iprover	file \| diff \| annotate
2005-02-21	nipkow	2005-02-21	comprehensive cleanup, replacing sumr by setsum	file \| diff \| annotate
2004-12-09	nipkow	2004-12-09	First step in reorganizing Finite_Set	file \| diff \| annotate
2004-11-21	nipkow	2004-11-21	added lemmas	file \| diff \| annotate
2004-11-21	nipkow	2004-11-21	Restructured List and added "rotate"	file \| diff \| annotate
2004-11-19	paulson	2004-11-19	moved and renamed Integ/Equiv.thy	file \| diff \| annotate

isabelle

RSS Atom