isabelle: File revisions

src/HOL/RComplete.thy

2009-10-17	wenzelm	2009-10-17	eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;	file \| diff \| annotate
2009-09-25	paulson	2009-09-25	New lemmas involving the real numbers, especially limits and series	file \| diff \| annotate
2009-03-04	blanchet	2009-03-04	Merge.	file \| diff \| annotate
2009-03-04	blanchet	2009-03-04	Merge.	file \| diff \| annotate
2009-02-26	wenzelm	2009-02-26	standard headers; eliminated non-ASCII chars, which are fragile in the age of unicode;	file \| diff \| annotate
2009-02-26	huffman	2009-02-26	disable floor_minus and ceiling_minus [simp]	file \| diff \| annotate
2009-02-25	huffman	2009-02-25	generalize floor/ceiling to work with real and rat; rename floor_mono2 to floor_mono	file \| diff \| annotate
2009-01-28	nipkow	2009-01-28	Replaced group_ and ring_simps by algebra_simps; removed compare_rls - use algebra_simps now	file \| diff \| annotate
2008-12-03	haftmann	2008-12-03	made repository layout more coherent with logical distribution structure; stripped some $Id$s	file \| diff \| annotate \| base

isabelle