src/HOL/NSA/Hyperreal.thy
changeset 47220 52426c62b5d0
parent 35310 73806dbabe90
child 51525 d3d170a2887f