isabelle: File revisions

src/HOL/Library/Infinite_Set.thy

2009-12-17	huffman	2009-12-17	added lemmas about INFM/MOST	file \| diff \| annotate
2009-03-23	haftmann	2009-03-23	Main is (Complex_Main) base entry point in library theories	file \| diff \| annotate
2009-02-13	nipkow	2009-02-13	finiteness lemmas	file \| diff \| annotate
2009-02-09	chaieb	2009-02-09	Imports Main in order to avoid the typerep problem	file \| diff \| annotate
2008-07-07	haftmann	2008-07-07	*absolute imports of HOL/.thy theories**	file \| diff \| annotate
2008-07-01	huffman	2008-07-01	rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM	file \| diff \| annotate
2008-06-26	haftmann	2008-06-26	established Plain theory and image	file \| diff \| annotate
2007-12-17	paulson	2007-12-17	fixed ancestors	file \| diff \| annotate
2007-12-10	haftmann	2007-12-10	switched import from Main to PreList	file \| diff \| annotate
2007-06-14	wenzelm	2007-06-14	tuned proofs;	file \| diff \| annotate
2007-03-10	berghofe	2007-03-10	Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory.	file \| diff \| annotate
2007-02-01	paulson	2007-02-01	new theorem int_infinite	file \| diff \| annotate
2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-11-08	wenzelm	2006-11-08	moved theories Parity, GCD, Binomial to Library;	file \| diff \| annotate
2006-11-07	wenzelm	2006-11-07	renamed 'const_syntax' to 'notation';	file \| diff \| annotate
2006-10-01	wenzelm	2006-10-01	moved theory Infinite_Set to Library;	file \| diff \| annotate

isabelle

RSS Atom