diff -r c5b3860d29ef -r b6dacf6eabe3 src/Pure/General/path.scala
--- a/src/Pure/General/path.scala	Wed Nov 28 15:38:18 2018 +0100
+++ b/src/Pure/General/path.scala	Wed Nov 28 16:14:31 2018 +0100
@@ -149,7 +149,6 @@
 
   def dir: Path = split_path._1
   def base: Path = new Path(List(Path.Basic(split_path._2)))
-  def base_name: String = base.implode
 
   def ext(e: String): Path =
     if (e == "") this
@@ -201,6 +200,8 @@
 
   def expand: Path = expand_env(Isabelle_System.settings())
 
+  def file_name: String = expand.base.implode
+
 
   /* source position */