# HG changeset patch
# User wenzelm
# Date 1307548141 -7200
# Node ID 446e6621762db8f591c724ec2497a09768eb452f
# Parent  5d294220ca437133f506b8c63518869121f2941a
updated headers;

diff -r 5d294220ca43 -r 446e6621762d src/HOL/Tools/ATP/atp_translate.ML
--- a/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML
+(*  Title:      HOL/Tools/ATP/atp_translate.ML
     Author:     Fabian Immler, TU Muenchen
     Author:     Makarius
     Author:     Jasmin Blanchette, TU Muenchen
diff -r 5d294220ca43 -r 446e6621762d src/Pure/Isar/parse.scala
--- a/src/Pure/Isar/parse.scala	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/Pure/Isar/parse.scala	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Isar/outer_parse.scala
+/*  Title:      Pure/Isar/parse.scala
     Author:     Makarius
 
 Generic parsers for Isabelle/Isar outer syntax.
diff -r 5d294220ca43 -r 446e6621762d src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:42:07 2011 +0200
+++ b/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:49:01 2011 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/System/isabelle_process.ML
+/*  Title:      Pure/System/isabelle_process.scala
     Author:     Makarius
     Options:    :folding=explicit:collapseFolds=1: