# 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: