src/HOL/SPARK/Examples/Gcd/greatest_common_divisor/g_c_d.rls
2011-01-15 berghofe 2011-01-15 Added new SPARK verification environment.