Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Port to Isabelle Nightly.
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Achim D. Brucker 2023-04-28 15:00:10 +01:00
parent 0c654e2634
commit 640a867f28
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-Proofs/Very_Deep_Interpretation.thy
View File

@ -43,7 +43,7 @@ fun check_path check_file ctxt dir (name, pos) =
val path = Path.append dir (Path.explode name) handle ERROR msg => ISA_core.err msg pos;
val _ = Path.expand path handle ERROR msg => ISA_core.err msg pos;
val _ = Context_Position.report ctxt pos (Markup.path (Path.implode_symbolic path));
val _ = Context_Position.report ctxt pos (Markup.path (File.symbolic_path path));
val _ =
(case check_file of
NONE => path