1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon May 04 12:38:16 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon May 04 13:27:45 2020 +0200
     1.3 @@ -66,7 +66,6 @@
     1.4      ML_file ptyps.sml
     1.5      ML_file generate.sml
     1.6      ML_file calchead.sml
     1.7 -    ML_file appl.sml
     1.8      ML_file "step-specify.sml"
     1.9      ML_file specify.sml
    1.10  *)        "Specify/Specify"