src/Pure/Thy/thy_info.scala
changeset 44222 9d5ef6cd4ee1
parent 44159 9a35e88d9dc9
child 44225 a8f921e6484f
--- 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 {