1.1 --- a/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Tue Apr 04 10:54:12 2023 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy	Wed Apr 05 17:46:25 2023 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*<*)
     1.5  (*%:wrap=soft:maxLineLen=78:*)
     1.6  theory Specify_Phase
     1.7 -  imports "Specify.Specify"
     1.8 +  imports "$ISABELLE_ISAC/Specify.Specify"
     1.9  begin
    1.10  (*>*)
    1.11