src/Pure/Thy/thy_header.scala
changeset 48484 70898d016538
parent 48409 0d2114eb412a
child 48638 22d65e375c01
--- a/src/Pure/Thy/thy_header.scala	Tue Jul 24 20:42:34 2012 +0200
+++ b/src/Pure/Thy/thy_header.scala	Tue Jul 24 20:56:18 2012 +0200
@@ -46,7 +46,6 @@
   val header: Parser[Thy_Header] =
   {
     val file_name = atom("file name", _.is_name)
-    val theory_name = atom("theory name", _.is_name)
 
     val keyword_kind =
       atom("outer syntax keyword kind", _.is_name) ~ tags ^^ { case x ~ y => (x, y) }