Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated headers;
authorwenzelm
Wed, 08 Jun 2011 17:49:01 +0200
changeset 44163446e6621762d
parent 44162 5d294220ca43
child 44164 04d473e883df
updated headers;
src/HOL/Tools/ATP/atp_translate.ML file | annotate | diff | comparison | revisions
src/Pure/Isar/parse.scala file | annotate | diff | comparison | revisions
src/Pure/System/isabelle_process.scala file | annotate | diff | comparison | revisions 
     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
wneuper/isa