src/HOL/Real.thy
changeset 58043 a90847f03ec8
parent 58042 ffa9e39763e3
child 58055 625bdd5c70b2
equal deleted inserted replaced
58042:ffa9e39763e3 58043:a90847f03ec8