src/HOL/ex/Dedekind_Real.thy
2010-06-08 ago tuned quotes, antiquotations and whitespace
2010-05-10 ago add more credits to ex/Dedekind_Real.thy
2010-05-10 ago put construction of reals using Dedekind cuts in HOL/ex