# HG changeset patch
# User haftmann
# Date 1246366436 -7200
# Node ID 5274d3d0a6f2b59a351a9898424b0276668f13be
# Parent  01fed718958c84beb13af3df1a7354346d34e325
dropped id

diff -r 01fed718958c -r 5274d3d0a6f2 src/HOL/Imperative_HOL/Array.thy
--- a/src/HOL/Imperative_HOL/Array.thy	Mon Jun 29 16:17:57 2009 +0200
+++ b/src/HOL/Imperative_HOL/Array.thy	Tue Jun 30 14:53:56 2009 +0200
@@ -1,5 +1,4 @@
-(*  Title:      HOL/Library/Array.thy
-    ID:         $Id$
+(*  Title:      HOL/Imperative_HOL/Array.thy
     Author:     John Matthews, Galois Connections; Alexander Krauss, Lukas Bulwahn & Florian Haftmann, TU Muenchen
 *)