# HG changeset patch
# User wenzelm
# Date 1316790668 -7200
# Node ID 9a98c3bc72e49a7e3532b8fa94716f78c6b7634b
# Parent  b099f5cfd32c15824d6f09ab48724d440cd0c64e
updated header;

diff -r b099f5cfd32c -r 9a98c3bc72e4 src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy
--- a/src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy	Fri Sep 23 16:50:39 2011 +0200
+++ b/src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy	Fri Sep 23 17:11:08 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy
+(*  Title:      HOL/SPARK/Manual/Greatest_Common_Divisor.thy
     Author:     Stefan Berghofer
     Copyright:  secunet Security Networks AG
 *)