src/Pure/Thy/thy_info.scala

--- a/src/Pure/Thy/thy_info.scala	Tue Aug 16 12:06:49 2011 +0200
+++ b/src/Pure/Thy/thy_info.scala	Tue Aug 16 21:13:52 2011 +0200
@@ -9,6 +9,11 @@
 
 object Thy_Info
 {
+  /* base name */
+
+  def base_name(s: String): String = Path.explode(s).base.implode
+
+
   /* protocol messages */
 
   object Loaded_Theory {