src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy
2011-11-21 wenzelm 2011-11-21 tuned header;
2011-09-23 wenzelm 2011-09-23 updated header;
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK