# HG changeset patch
# User wenzelm
# Date 1316468062 -7200
# Node ID cc86edb97c2c4cb0146ab9f64e316eee950e6c8d
# Parent  11a542f50fc33cd89892c1778d9931b6f9d5eee4
fixed headers;

diff -r 11a542f50fc3 -r cc86edb97c2c src/HOL/Library/Product_Lattice.thy
--- a/src/HOL/Library/Product_Lattice.thy	Mon Sep 19 23:24:32 2011 +0200
+++ b/src/HOL/Library/Product_Lattice.thy	Mon Sep 19 23:34:22 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Product_Lattice.thy
+(*  Title:      HOL/Library/Product_Lattice.thy
     Author:     Brian Huffman
 *)
 
diff -r 11a542f50fc3 -r cc86edb97c2c src/HOL/TPTP/atp_export.ML
--- a/src/HOL/TPTP/atp_export.ML	Mon Sep 19 23:24:32 2011 +0200
+++ b/src/HOL/TPTP/atp_export.ML	Mon Sep 19 23:34:22 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/ex/atp_export.ML
+(*  Title:      HOL/TPTP/atp_export.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2011
 
diff -r 11a542f50fc3 -r cc86edb97c2c src/Pure/Proof/proof_checker.ML
--- a/src/Pure/Proof/proof_checker.ML	Mon Sep 19 23:24:32 2011 +0200
+++ b/src/Pure/Proof/proof_checker.ML	Mon Sep 19 23:34:22 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Proof/proofchecker.ML
+(*  Title:      Pure/Proof/proof_checker.ML
     Author:     Stefan Berghofer, TU Muenchen
 
 Simple proof checker based only on the core inference rules
diff -r 11a542f50fc3 -r cc86edb97c2c src/Tools/jEdit/src/jedit_thy_load.scala
--- a/src/Tools/jEdit/src/jedit_thy_load.scala	Mon Sep 19 23:24:32 2011 +0200
+++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Mon Sep 19 23:34:22 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Tools/jEdit/src/plugin.scala
+/*  Title:      Tools/jEdit/src/jedit_thy_load.scala
     Author:     Makarius
 
 Primitives for loading theory files, based on jEdit buffer content.