src/HOL/Nonstandard_Analysis/HyperNat.thy
changeset 64406 492de9062cd2
parent 62479 716336f19aa9
child 64435 c93b0e6131c3