src/Pure/General/file.ML

     (case file_info name of
       "" => NONE
     | s => SOME (Info s))
   end;
 
-val exists = is_some o info;
+val exists = isSome o info;
 
 
 (* directories *)
 
 fun system_command cmd =