diff -r 4040d0ffac7b -r a8f921e6484f src/Pure/Thy/thy_info.scala
--- a/src/Pure/Thy/thy_info.scala	Tue Aug 16 21:54:06 2011 +0200
+++ b/src/Pure/Thy/thy_info.scala	Tue Aug 16 22:48:31 2011 +0200
@@ -9,11 +9,6 @@
 
 object Thy_Info
 {
-  /* base name */
-
-  def base_name(s: String): String = Path.explode(s).base.implode
-
-
   /* protocol messages */
 
   object Loaded_Theory {