# HG changeset patch
# User wenzelm
# Date 1244572819 -7200
# Node ID 2c0b67a0e5e7d87ca31741432cd4593d75102667
# Parent  0466cb17064fb07424046aad0ec72ea60feadf03
tuned;

diff -r 0466cb17064f -r 2c0b67a0e5e7 src/Pure/General/symbol.scala
--- a/src/Pure/General/symbol.scala	Tue Jun 09 20:29:23 2009 +0200
+++ b/src/Pure/General/symbol.scala	Tue Jun 09 20:40:19 2009 +0200
@@ -6,8 +6,6 @@
 
 package isabelle
 
-import java.io.File
-
 import scala.io.Source
 import scala.collection.jcl
 import scala.util.matching.Regex