| 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) }