src/HOL/Lim.thy
changeset 47988 e4b69e10b990
parent 45031 9583f2b56f85
child 50331 4b6dc5077e98