Searched refs:check_file (Results 1 - 1 of 1) sorted by relevance

/hets/Isabelle/export/
H A Dparser.ml1277 File.full_path Path.current |> File.check_file
1288 |> File.check_file |> Path.implode

Completed in 41 milliseconds