src/HOL/Archimedean_Field.thy
changeset 47389 e8552cba702d
parent 47307 5e5ca36692b3
child 47592 a6b76247534d
equal deleted inserted replaced
47388:fe4b245af74c 47389:e8552cba702d