changeset 44225 | a8f921e6484f |
parent 44222 | 9d5ef6cd4ee1 |
child 44574 | 24444588fddd |
--- 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 {