# HG changeset patch
# User haftmann
# Date 1222063224 -7200
# Node ID d4396a28fb29a89beb05555d0e2151ace4bc3f98
# Parent  39328b6ea7e8bc60502a1217441a426e93dca66f
fixed headers

diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/NSA/hypreal_arith.ML
--- a/src/HOL/NSA/hypreal_arith.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/NSA/hypreal_arith.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Hyperreal/hypreal_arith.ML
+(*  Title:      HOL/NSA/hypreal_arith.ML
     ID:         $Id$
     Author:     Tobias Nipkow, TU Muenchen
     Copyright   1999 TU Muenchen
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/SizeChange/ROOT.ML
--- a/src/HOL/SizeChange/ROOT.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/SizeChange/ROOT.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/ROOT.ML
+(*  Title:      HOL/SizeChange/ROOT.ML
     ID:         $Id$
 *)
 
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/SizeChange/sct.ML
--- a/src/HOL/SizeChange/sct.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/SizeChange/sct.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Library/sct.ML
+(*  Title:      HOL/SizeChange/sct.ML
     ID:         $Id$
     Author:     Alexander Krauss, TU Muenchen
 
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/Statespace/state_fun.ML
--- a/src/HOL/Statespace/state_fun.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Statespace/state_fun.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      state_fun.ML
+(*  Title:      HOL/Statespace/state_fun.ML
     ID:         $Id$
     Author:     Norbert Schirmer, TU Muenchen
 *)
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/Statespace/state_space.ML
--- a/src/HOL/Statespace/state_space.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Statespace/state_space.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      state_space.ML
+(*  Title:      HOL/Statespace/state_space.ML
     ID:         $Id$
     Author:     Norbert Schirmer, TU Muenchen
 *)
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/Tools/dseq.ML
--- a/src/HOL/Tools/dseq.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Tools/dseq.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/DSeq.ML
+(*  Title:      HOL/Tools/dseq.ML
     ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen
 
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/Tools/numeral.ML
--- a/src/HOL/Tools/numeral.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Tools/numeral.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/Int.ML
+(*  Title:      HOL/Tools/numeral.ML
     ID:         $Id$
     Author:     Makarius
 
diff -r 39328b6ea7e8 -r d4396a28fb29 src/HOL/Tools/old_primrec_package.ML
--- a/src/HOL/Tools/old_primrec_package.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Tools/old_primrec_package.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/primrec_package.ML
+(*  Title:      HOL/Tools/old_primrec_package.ML
     ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen and Norbert Voelker, FernUni Hagen
 
diff -r 39328b6ea7e8 -r d4396a28fb29 src/Pure/Concurrent/ROOT.ML
--- a/src/Pure/Concurrent/ROOT.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/Pure/Concurrent/ROOT.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Pure/General/ROOT.ML
+(*  Title:      Pure/Concurrent/ROOT.ML
     ID:         $Id$
 
 Concurrency within the ML runtime.
diff -r 39328b6ea7e8 -r d4396a28fb29 src/Pure/General/integer.ML
--- a/src/Pure/General/integer.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/Pure/General/integer.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Tools/integer.ML
+(*  Title:      Pure/General/integer.ML
     ID:         $Id$
     Author:     Florian Haftmann, TU Muenchen
 
diff -r 39328b6ea7e8 -r d4396a28fb29 src/Tools/induct_tacs.ML
--- a/src/Tools/induct_tacs.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/Tools/induct_tacs.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/induct_tacs.ML
+(*  Title:      Tools/induct_tacs.ML
     ID:         $Id$
     Author:     Makarius