src/HOL/SPARK/Manual/document/Gcd.adb
changeset 54381 9c1f21365326
parent 45044 2fae15f8984d