1.1 --- a/src/HOL/Library/Product_Lattice.thy	Mon Sep 19 23:24:32 2011 +0200
     1.2 +++ b/src/HOL/Library/Product_Lattice.thy	Mon Sep 19 23:34:22 2011 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      Product_Lattice.thy
     1.5 +(*  Title:      HOL/Library/Product_Lattice.thy
     1.6      Author:     Brian Huffman
     1.7  *)
     1.8  

     2.1 --- a/src/HOL/TPTP/atp_export.ML	Mon Sep 19 23:24:32 2011 +0200
     2.2 +++ b/src/HOL/TPTP/atp_export.ML	Mon Sep 19 23:34:22 2011 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/ex/atp_export.ML
     2.5 +(*  Title:      HOL/TPTP/atp_export.ML
     2.6      Author:     Jasmin Blanchette, TU Muenchen
     2.7      Copyright   2011
     2.8  

     3.1 --- a/src/Pure/Proof/proof_checker.ML	Mon Sep 19 23:24:32 2011 +0200
     3.2 +++ b/src/Pure/Proof/proof_checker.ML	Mon Sep 19 23:34:22 2011 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      Pure/Proof/proofchecker.ML
     3.5 +(*  Title:      Pure/Proof/proof_checker.ML
     3.6      Author:     Stefan Berghofer, TU Muenchen
     3.7  
     3.8  Simple proof checker based only on the core inference rules

     4.1 --- a/src/Tools/jEdit/src/jedit_thy_load.scala	Mon Sep 19 23:24:32 2011 +0200
     4.2 +++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Mon Sep 19 23:34:22 2011 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -/*  Title:      Tools/jEdit/src/plugin.scala
     4.5 +/*  Title:      Tools/jEdit/src/jedit_thy_load.scala
     4.6      Author:     Makarius
     4.7  
     4.8  Primitives for loading theory files, based on jEdit buffer content.