1.1 --- a/src/Tools/isac/Specify/Specify.thy	Mon Dec 23 15:41:36 2019 +0100
     1.2 +++ b/src/Tools/isac/Specify/Specify.thy	Mon Dec 23 16:38:09 2019 +0100
     1.3 @@ -11,8 +11,8 @@
     1.4    ML_file generate.sml
     1.5    ML_file calchead.sml
     1.6    ML_file appl.sml
     1.7 +  ML_file "step-specify.sml"
     1.8    ML_file specify.sml
     1.9 -  ML_file "step-specify.sml"
    1.10  
    1.11  ML \<open>
    1.12  \<close> ML \<open>