src/HOL/Examples/Sqrt.thy
changeset 74913 c2a2be496f35
parent 73811 f143d0a4cb6a