updated headers;
authorwenzelm
Wed Jun 08 17:49:01 2011 +0200 (2011-06-08 ago)
changeset 43283446e6621762d
parent 43282 5d294220ca43
child 43284 04d473e883df
updated headers;
src/HOL/Tools/ATP/atp_translate.ML
src/Pure/Isar/parse.scala
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 08 17:42:07 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 08 17:49:01 2011 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML
     1.5 +(*  Title:      HOL/Tools/ATP/atp_translate.ML
     1.6      Author:     Fabian Immler, TU Muenchen
     1.7      Author:     Makarius
     1.8      Author:     Jasmin Blanchette, TU Muenchen
     2.1 --- a/src/Pure/Isar/parse.scala	Wed Jun 08 17:42:07 2011 +0200
     2.2 +++ b/src/Pure/Isar/parse.scala	Wed Jun 08 17:49:01 2011 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -/*  Title:      Pure/Isar/outer_parse.scala
     2.5 +/*  Title:      Pure/Isar/parse.scala
     2.6      Author:     Makarius
     2.7  
     2.8  Generic parsers for Isabelle/Isar outer syntax.
     3.1 --- a/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:42:07 2011 +0200
     3.2 +++ b/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:49:01 2011 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -/*  Title:      Pure/System/isabelle_process.ML
     3.5 +/*  Title:      Pure/System/isabelle_process.scala
     3.6      Author:     Makarius
     3.7      Options:    :folding=explicit:collapseFolds=1:
     3.8