1.1 --- a/src/Tools/isac/CLEANUP	Mon Oct 05 12:16:16 2020 +0200
     1.2 +++ b/src/Tools/isac/CLEANUP	Mon Oct 05 12:22:51 2020 +0200
     1.3 @@ -2,53 +2,25 @@
     1.4  rm *.sml~
     1.5  rm *.sml~~
     1.6  rm *.sml~~~
     1.7 -rm *.sml~~~~
     1.8 -rm *.sml~~~~~
     1.9 -rm *.sml~~~~~~
    1.10 -rm *.sml~~~~~~~
    1.11 -rm *.sml~~~~~~~~
    1.12 -rm *.sml~~~~~~~~~
    1.13 -rm *.sml~~~~~~~~~~
    1.14  rm *.thy~
    1.15  rm *.thy~
    1.16  rm *.thy~~
    1.17  rm *.thy~~~
    1.18 -rm *.thy~~~~
    1.19 -rm *.thy~~~~~
    1.20 -rm *.thy~~~~~~
    1.21 -rm *.thy~~~~~~~
    1.22 -rm *.thy~~~~~~~~
    1.23 -rm *.thy~~~~~~~~~
    1.24 -rm *.thy~~~~~~~~~~
    1.25  rm *.tar*
    1.26  rm *.orig
    1.27  rm *.orig~
    1.28  rm *.orig~~
    1.29  rm *.orig~~~
    1.30  cd BaseDefinitions
    1.31 -  echo "cd BaseDefinitions was successful ----------------------------------------------------------"
    1.32 +  echo "cd BaseDefinitions was successful -----------------------------------------------------"
    1.33    rm *.sml~
    1.34    rm *.sml~
    1.35    rm *.sml~~
    1.36    rm *.sml~~~
    1.37 -  rm *.sml~~~~
    1.38 -  rm *.sml~~~~~
    1.39 -  rm *.sml~~~~~~
    1.40 -  rm *.sml~~~~~~~
    1.41 -  rm *.sml~~~~~~~~
    1.42 -  rm *.sml~~~~~~~~~
    1.43 -  rm *.sml~~~~~~~~~~
    1.44    rm *.thy~
    1.45    rm *.thy~
    1.46    rm *.thy~~
    1.47    rm *.thy~~~
    1.48 -  rm *.thy~~~~
    1.49 -  rm *.thy~~~~~
    1.50 -  rm *.thy~~~~~~
    1.51 -  rm *.thy~~~~~~~
    1.52 -  rm *.thy~~~~~~~~
    1.53 -  rm *.thy~~~~~~~~~
    1.54 -  rm *.thy~~~~~~~~~~
    1.55    rm #*
    1.56    rm .\#*
    1.57    rm *.tar*
    1.58 @@ -59,13 +31,17 @@
    1.59    cd .. 
    1.60  cd Doc
    1.61    rm *~
    1.62 +  rm *.orig
    1.63    cd Lucas_Interpreter
    1.64      rm *~
    1.65 +    rm *.orig
    1.66      cd document
    1.67        rm *~
    1.68 +      rm *.orig
    1.69        cd ..
    1.70      cd output
    1.71        rm *
    1.72 +      rm *.orig
    1.73        rm -rf document/
    1.74        cd ..
    1.75      cd ..
    1.76 @@ -76,24 +52,10 @@
    1.77    rm *.sml~
    1.78    rm *.sml~~
    1.79    rm *.sml~~~
    1.80 -  rm *.sml~~~~
    1.81 -  rm *.sml~~~~~
    1.82 -  rm *.sml~~~~~~
    1.83 -  rm *.sml~~~~~~~
    1.84 -  rm *.sml~~~~~~~~
    1.85 -  rm *.sml~~~~~~~~~
    1.86 -  rm *.sml~~~~~~~~~~
    1.87    rm *.thy~
    1.88    rm *.thy~
    1.89    rm *.thy~~
    1.90    rm *.thy~~~
    1.91 -  rm *.thy~~~~
    1.92 -  rm *.thy~~~~~
    1.93 -  rm *.thy~~~~~~
    1.94 -  rm *.thy~~~~~~~
    1.95 -  rm *.thy~~~~~~~~
    1.96 -  rm *.thy~~~~~~~~~
    1.97 -  rm *.thy~~~~~~~~~~
    1.98    rm #*
    1.99    rm .\#*
   1.100    rm *.tar*
   1.101 @@ -108,24 +70,10 @@
   1.102    rm *.sml~
   1.103    rm *.sml~~
   1.104    rm *.sml~~~
   1.105 -  rm *.sml~~~~
   1.106 -  rm *.sml~~~~~
   1.107 -  rm *.sml~~~~~~
   1.108 -  rm *.sml~~~~~~~
   1.109 -  rm *.sml~~~~~~~~
   1.110 -  rm *.sml~~~~~~~~~
   1.111 -  rm *.sml~~~~~~~~~~
   1.112    rm *.thy~
   1.113    rm *.thy~
   1.114    rm *.thy~~
   1.115    rm *.thy~~~
   1.116 -  rm *.thy~~~~
   1.117 -  rm *.thy~~~~~
   1.118 -  rm *.thy~~~~~~
   1.119 -  rm *.thy~~~~~~~
   1.120 -  rm *.thy~~~~~~~~
   1.121 -  rm *.thy~~~~~~~~~
   1.122 -  rm *.thy~~~~~~~~~~
   1.123    rm #*
   1.124    rm .\#*
   1.125    rm *.tar*
   1.126 @@ -140,24 +88,10 @@
   1.127    rm *.sml~
   1.128    rm *.sml~~
   1.129    rm *.sml~~~
   1.130 -  rm *.sml~~~~
   1.131 -  rm *.sml~~~~~
   1.132 -  rm *.sml~~~~~~
   1.133 -  rm *.sml~~~~~~~
   1.134 -  rm *.sml~~~~~~~~
   1.135 -  rm *.sml~~~~~~~~~
   1.136 -  rm *.sml~~~~~~~~~~
   1.137    rm *.thy~
   1.138    rm *.thy~
   1.139    rm *.thy~~
   1.140    rm *.thy~~~
   1.141 -  rm *.thy~~~~
   1.142 -  rm *.thy~~~~~
   1.143 -  rm *.thy~~~~~~
   1.144 -  rm *.thy~~~~~~~
   1.145 -  rm *.thy~~~~~~~~
   1.146 -  rm *.thy~~~~~~~~~
   1.147 -  rm *.thy~~~~~~~~~~
   1.148    rm #*
   1.149    rm *#~
   1.150    rm .\#*
   1.151 @@ -173,25 +107,12 @@
   1.152    rm *.sml~
   1.153    rm *.sml~~
   1.154    rm *.sml~~~
   1.155 -  rm *.sml~~~~
   1.156 -  rm *.sml~~~~~
   1.157 -  rm *.sml~~~~~~
   1.158 -  rm *.sml~~~~~~~
   1.159 -  rm *.sml~~~~~~~~
   1.160 -  rm *.sml~~~~~~~~~
   1.161 -  rm *.sml~~~~~~~~~~
   1.162    rm *.thy~
   1.163    rm *.thy~
   1.164    rm *.thy~~
   1.165    rm *.thy~~~
   1.166 -  rm *.thy~~~~
   1.167 -  rm *.thy~~~~~
   1.168 -  rm *.thy~~~~~~
   1.169 -  rm *.thy~~~~~~~
   1.170 -  rm *.thy~~~~~~~~
   1.171 -  rm *.thy~~~~~~~~~
   1.172 -  rm *.thy~~~~~~~~~~
   1.173    rm #*
   1.174 +  rm *#~
   1.175    rm .\#*
   1.176    rm *.tar*
   1.177    rm *.orig
   1.178 @@ -205,24 +126,29 @@
   1.179    rm *.sml~
   1.180    rm *.sml~~
   1.181    rm *.sml~~~
   1.182 -  rm *.sml~~~~
   1.183 -  rm *.sml~~~~~
   1.184 -  rm *.sml~~~~~~
   1.185 -  rm *.sml~~~~~~~
   1.186 -  rm *.sml~~~~~~~~
   1.187 -  rm *.sml~~~~~~~~~
   1.188 -  rm *.sml~~~~~~~~~~
   1.189    rm *.thy~
   1.190    rm *.thy~
   1.191    rm *.thy~~
   1.192    rm *.thy~~~
   1.193 -  rm *.thy~~~~
   1.194 -  rm *.thy~~~~~
   1.195 -  rm *.thy~~~~~~
   1.196 -  rm *.thy~~~~~~~
   1.197 -  rm *.thy~~~~~~~~
   1.198 -  rm *.thy~~~~~~~~~
   1.199 -  rm *.thy~~~~~~~~~~
   1.200 +  rm #*
   1.201 +  rm #*~
   1.202 +  rm .\#*
   1.203 +  rm *.tar*
   1.204 +  rm *.orig
   1.205 +  rm *.orig~
   1.206 +  rm *.orig~~
   1.207 +  rm *.orig~~~
   1.208 +  cd .. 
   1.209 +cd Test_Code
   1.210 +  echo "cd Test_Code was successful -----------------------------------------------------------"
   1.211 +  rm *.sml~
   1.212 +  rm *.sml~
   1.213 +  rm *.sml~~
   1.214 +  rm *.sml~~~
   1.215 +  rm *.thy~
   1.216 +  rm *.thy~
   1.217 +  rm *.thy~~
   1.218 +  rm *.thy~~~
   1.219    rm #*
   1.220    rm #*~
   1.221    rm .\#*
   1.222 @@ -238,24 +164,10 @@
   1.223    rm *.sml~
   1.224    rm *.sml~~
   1.225    rm *.sml~~~
   1.226 -  rm *.sml~~~~
   1.227 -  rm *.sml~~~~~
   1.228 -  rm *.sml~~~~~~
   1.229 -  rm *.sml~~~~~~~
   1.230 -  rm *.sml~~~~~~~~
   1.231 -  rm *.sml~~~~~~~~~
   1.232 -  rm *.sml~~~~~~~~~~
   1.233    rm *.thy~
   1.234    rm *.thy~
   1.235    rm *.thy~~
   1.236    rm *.thy~~~
   1.237 -  rm *.thy~~~~
   1.238 -  rm *.thy~~~~~
   1.239 -  rm *.thy~~~~~~
   1.240 -  rm *.thy~~~~~~~
   1.241 -  rm *.thy~~~~~~~~
   1.242 -  rm *.thy~~~~~~~~~
   1.243 -  rm *.thy~~~~~~~~~~
   1.244    rm #*
   1.245    rm .\#*
   1.246    rm *.tar*
   1.247 @@ -270,24 +182,10 @@
   1.248    rm *.sml~
   1.249    rm *.sml~~
   1.250    rm *.sml~~~
   1.251 -  rm *.sml~~~~
   1.252 -  rm *.sml~~~~~
   1.253 -  rm *.sml~~~~~~
   1.254 -  rm *.sml~~~~~~~
   1.255 -  rm *.sml~~~~~~~~
   1.256 -  rm *.sml~~~~~~~~~
   1.257 -  rm *.sml~~~~~~~~~~
   1.258    rm *.thy~
   1.259    rm *.thy~
   1.260    rm *.thy~~
   1.261    rm *.thy~~~
   1.262 -  rm *.thy~~~~
   1.263 -  rm *.thy~~~~~
   1.264 -  rm *.thy~~~~~~
   1.265 -  rm *.thy~~~~~~~
   1.266 -  rm *.thy~~~~~~~~
   1.267 -  rm *.thy~~~~~~~~~
   1.268 -  rm *.thy~~~~~~~~~~
   1.269    rm #*
   1.270    rm .\#*
   1.271    rm *.tar*

     2.1 --- a/test/Tools/isac/CLEANUP	Mon Oct 05 12:16:16 2020 +0200
     2.2 +++ b/test/Tools/isac/CLEANUP	Mon Oct 05 12:22:51 2020 +0200
     2.3 @@ -2,24 +2,10 @@
     2.4  rm *.sml~
     2.5  rm *.sml~~
     2.6  rm *.sml~~~
     2.7 -rm *.sml~~~~
     2.8 -rm *.sml~~~~~
     2.9 -rm *.sml~~~~~~
    2.10 -rm *.sml~~~~~~~
    2.11 -rm *.sml~~~~~~~~
    2.12 -rm *.sml~~~~~~~~~
    2.13 -rm *.sml~~~~~~~~~~
    2.14  rm *.thy~
    2.15  rm *.thy~
    2.16  rm *.thy~~
    2.17  rm *.thy~~~
    2.18 -rm *.thy~~~~
    2.19 -rm *.thy~~~~~
    2.20 -rm *.thy~~~~~~
    2.21 -rm *.thy~~~~~~~
    2.22 -rm *.thy~~~~~~~~
    2.23 -rm *.thy~~~~~~~~~
    2.24 -rm *.thy~~~~~~~~~~
    2.25  rm *.tar*
    2.26  rm *.orig
    2.27  rm *.orig~
    2.28 @@ -168,29 +154,15 @@
    2.29    rm *.orig~~~
    2.30    cd .. 
    2.31  cd BaseDefinitions
    2.32 -  echo "cd BaseDefinitions was successful ----------------------------------------------------------"
    2.33 +  echo "cd BaseDefinitions was successful -----------------------------------------------------"
    2.34    rm *.sml~
    2.35    rm *.sml~
    2.36    rm *.sml~~
    2.37    rm *.sml~~~
    2.38 -  rm *.sml~~~~
    2.39 -  rm *.sml~~~~~
    2.40 -  rm *.sml~~~~~~
    2.41 -  rm *.sml~~~~~~~
    2.42 -  rm *.sml~~~~~~~~
    2.43 -  rm *.sml~~~~~~~~~
    2.44 -  rm *.sml~~~~~~~~~~
    2.45    rm *.thy~
    2.46    rm *.thy~
    2.47    rm *.thy~~
    2.48    rm *.thy~~~
    2.49 -  rm *.thy~~~~
    2.50 -  rm *.thy~~~~~
    2.51 -  rm *.thy~~~~~~
    2.52 -  rm *.thy~~~~~~~
    2.53 -  rm *.thy~~~~~~~~
    2.54 -  rm *.thy~~~~~~~~~
    2.55 -  rm *.thy~~~~~~~~~~
    2.56    rm #*
    2.57    rm .\#*
    2.58    rm *.tar*
    2.59 @@ -205,24 +177,10 @@
    2.60    rm *.sml~
    2.61    rm *.sml~~
    2.62    rm *.sml~~~
    2.63 -  rm *.sml~~~~
    2.64 -  rm *.sml~~~~~
    2.65 -  rm *.sml~~~~~~
    2.66 -  rm *.sml~~~~~~~
    2.67 -  rm *.sml~~~~~~~~
    2.68 -  rm *.sml~~~~~~~~~
    2.69 -  rm *.sml~~~~~~~~~~
    2.70    rm *.thy~
    2.71    rm *.thy~
    2.72    rm *.thy~~
    2.73    rm *.thy~~~
    2.74 -  rm *.thy~~~~
    2.75 -  rm *.thy~~~~~
    2.76 -  rm *.thy~~~~~~
    2.77 -  rm *.thy~~~~~~~
    2.78 -  rm *.thy~~~~~~~~
    2.79 -  rm *.thy~~~~~~~~~
    2.80 -  rm *.thy~~~~~~~~~~
    2.81    rm #*
    2.82    rm .\#*
    2.83    rm *.tar*
    2.84 @@ -237,24 +195,10 @@
    2.85    rm *.sml~
    2.86    rm *.sml~~
    2.87    rm *.sml~~~
    2.88 -  rm *.sml~~~~
    2.89 -  rm *.sml~~~~~
    2.90 -  rm *.sml~~~~~~
    2.91 -  rm *.sml~~~~~~~
    2.92 -  rm *.sml~~~~~~~~
    2.93 -  rm *.sml~~~~~~~~~
    2.94 -  rm *.sml~~~~~~~~~~
    2.95    rm *.thy~
    2.96    rm *.thy~
    2.97    rm *.thy~~
    2.98    rm *.thy~~~
    2.99 -  rm *.thy~~~~
   2.100 -  rm *.thy~~~~~
   2.101 -  rm *.thy~~~~~~
   2.102 -  rm *.thy~~~~~~~
   2.103 -  rm *.thy~~~~~~~~
   2.104 -  rm *.thy~~~~~~~~~
   2.105 -  rm *.thy~~~~~~~~~~
   2.106    rm #*
   2.107    rm .\#*
   2.108    rm *.tar*
   2.109 @@ -269,25 +213,12 @@
   2.110    rm *.sml~
   2.111    rm *.sml~~
   2.112    rm *.sml~~~
   2.113 -  rm *.sml~~~~
   2.114 -  rm *.sml~~~~~
   2.115 -  rm *.sml~~~~~~
   2.116 -  rm *.sml~~~~~~~
   2.117 -  rm *.sml~~~~~~~~
   2.118 -  rm *.sml~~~~~~~~~
   2.119 -  rm *.sml~~~~~~~~~~
   2.120    rm *.thy~
   2.121    rm *.thy~
   2.122    rm *.thy~~
   2.123    rm *.thy~~~
   2.124 -  rm *.thy~~~~
   2.125 -  rm *.thy~~~~~
   2.126 -  rm *.thy~~~~~~
   2.127 -  rm *.thy~~~~~~~
   2.128 -  rm *.thy~~~~~~~~
   2.129 -  rm *.thy~~~~~~~~~
   2.130 -  rm *.thy~~~~~~~~~~
   2.131    rm #*
   2.132 +  rm *#~
   2.133    rm .\#*
   2.134    rm *.tar*
   2.135    rm *.orig
   2.136 @@ -301,24 +232,10 @@
   2.137    rm *.sml~
   2.138    rm *.sml~~
   2.139    rm *.sml~~~
   2.140 -  rm *.sml~~~~
   2.141 -  rm *.sml~~~~~
   2.142 -  rm *.sml~~~~~~
   2.143 -  rm *.sml~~~~~~~
   2.144 -  rm *.sml~~~~~~~~
   2.145 -  rm *.sml~~~~~~~~~
   2.146 -  rm *.sml~~~~~~~~~~
   2.147    rm *.thy~
   2.148    rm *.thy~
   2.149    rm *.thy~~
   2.150    rm *.thy~~~
   2.151 -  rm *.thy~~~~
   2.152 -  rm *.thy~~~~~
   2.153 -  rm *.thy~~~~~~
   2.154 -  rm *.thy~~~~~~~
   2.155 -  rm *.thy~~~~~~~~
   2.156 -  rm *.thy~~~~~~~~~
   2.157 -  rm *.thy~~~~~~~~~~
   2.158    rm #*
   2.159    rm *#~
   2.160    rm .\#*
   2.161 @@ -334,25 +251,12 @@
   2.162    rm *.sml~
   2.163    rm *.sml~~
   2.164    rm *.sml~~~
   2.165 -  rm *.sml~~~~
   2.166 -  rm *.sml~~~~~
   2.167 -  rm *.sml~~~~~~
   2.168 -  rm *.sml~~~~~~~
   2.169 -  rm *.sml~~~~~~~~
   2.170 -  rm *.sml~~~~~~~~~
   2.171 -  rm *.sml~~~~~~~~~~
   2.172    rm *.thy~
   2.173    rm *.thy~
   2.174    rm *.thy~~
   2.175    rm *.thy~~~
   2.176 -  rm *.thy~~~~
   2.177 -  rm *.thy~~~~~
   2.178 -  rm *.thy~~~~~~
   2.179 -  rm *.thy~~~~~~~
   2.180 -  rm *.thy~~~~~~~~
   2.181 -  rm *.thy~~~~~~~~~
   2.182 -  rm *.thy~~~~~~~~~~
   2.183    rm #*
   2.184 +  rm #*~
   2.185    rm .\#*
   2.186    rm *.tar*
   2.187    rm *.orig
   2.188 @@ -366,24 +270,10 @@
   2.189    rm *.sml~
   2.190    rm *.sml~~
   2.191    rm *.sml~~~
   2.192 -  rm *.sml~~~~
   2.193 -  rm *.sml~~~~~
   2.194 -  rm *.sml~~~~~~
   2.195 -  rm *.sml~~~~~~~
   2.196 -  rm *.sml~~~~~~~~
   2.197 -  rm *.sml~~~~~~~~~
   2.198 -  rm *.sml~~~~~~~~~~
   2.199    rm *.thy~
   2.200    rm *.thy~
   2.201    rm *.thy~~
   2.202    rm *.thy~~~
   2.203 -  rm *.thy~~~~
   2.204 -  rm *.thy~~~~~
   2.205 -  rm *.thy~~~~~~
   2.206 -  rm *.thy~~~~~~~
   2.207 -  rm *.thy~~~~~~~~
   2.208 -  rm *.thy~~~~~~~~~
   2.209 -  rm *.thy~~~~~~~~~~
   2.210    rm #*
   2.211    rm #*~
   2.212    rm .\#*
   2.213 @@ -399,24 +289,10 @@
   2.214    rm *.sml~
   2.215    rm *.sml~~
   2.216    rm *.sml~~~
   2.217 -  rm *.sml~~~~
   2.218 -  rm *.sml~~~~~
   2.219 -  rm *.sml~~~~~~
   2.220 -  rm *.sml~~~~~~~
   2.221 -  rm *.sml~~~~~~~~
   2.222 -  rm *.sml~~~~~~~~~
   2.223 -  rm *.sml~~~~~~~~~~
   2.224    rm *.thy~
   2.225    rm *.thy~
   2.226    rm *.thy~~
   2.227    rm *.thy~~~
   2.228 -  rm *.thy~~~~
   2.229 -  rm *.thy~~~~~
   2.230 -  rm *.thy~~~~~~
   2.231 -  rm *.thy~~~~~~~
   2.232 -  rm *.thy~~~~~~~~
   2.233 -  rm *.thy~~~~~~~~~
   2.234 -  rm *.thy~~~~~~~~~~
   2.235    rm #*
   2.236    rm .\#*
   2.237    rm *.tar*
   2.238 @@ -431,24 +307,10 @@
   2.239    rm *.sml~
   2.240    rm *.sml~~
   2.241    rm *.sml~~~
   2.242 -  rm *.sml~~~~
   2.243 -  rm *.sml~~~~~
   2.244 -  rm *.sml~~~~~~
   2.245 -  rm *.sml~~~~~~~
   2.246 -  rm *.sml~~~~~~~~
   2.247 -  rm *.sml~~~~~~~~~
   2.248 -  rm *.sml~~~~~~~~~~
   2.249    rm *.thy~
   2.250    rm *.thy~
   2.251    rm *.thy~~
   2.252    rm *.thy~~~
   2.253 -  rm *.thy~~~~
   2.254 -  rm *.thy~~~~~
   2.255 -  rm *.thy~~~~~~
   2.256 -  rm *.thy~~~~~~~
   2.257 -  rm *.thy~~~~~~~~
   2.258 -  rm *.thy~~~~~~~~~
   2.259 -  rm *.thy~~~~~~~~~~
   2.260    rm #*
   2.261    rm .\#*
   2.262    rm *.tar*