src/Pure/General/symbol.scala
changeset 31523 2c0b67a0e5e7
parent 31522 0466cb17064f
child 31545 5f1f0a20af4d
equal deleted inserted replaced
31522:0466cb17064f 31523:2c0b67a0e5e7
     3 
     3 
     4 Detecting and recoding Isabelle symbols.
     4 Detecting and recoding Isabelle symbols.
     5 */
     5 */
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
       
     9 import java.io.File
       
    10 
     8 
    11 import scala.io.Source
     9 import scala.io.Source
    12 import scala.collection.jcl
    10 import scala.collection.jcl
    13 import scala.util.matching.Regex
    11 import scala.util.matching.Regex
    14 
    12