1.1 --- a/src/Tools/isac/Interpret/appl.sml	Mon Dec 19 10:37:44 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/appl.sml	Wed Dec 21 08:57:47 2016 +0100
     1.3 @@ -4,6 +4,11 @@
     1.4  12345678901234567890123456789012345678901234567890123456789012345678901234567890
     1.5          10        20        30        40        50        60        70        80
     1.6  *)
     1.7 +
     1.8 +structure Applicable = (* intermediately to avoid too many "Ctree." *)
     1.9 +struct
    1.10 +(*open Ctree*)
    1.11 +
    1.12  val e_cterm' = empty_cterm';
    1.13  
    1.14  
    1.15 @@ -716,3 +721,4 @@
    1.16        | Chead.Notappl _ => error ("tac2mstp': fails with"^
    1.17  				  (tac2str m));
    1.18  
    1.19 +end
    1.20 \ No newline at end of file