1.1 --- a/src/Tools/isac/calcelems.sml	Fri Jun 21 11:19:18 2013 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Fri Jun 21 17:49:24 2013 +0200
     1.3 @@ -355,7 +355,7 @@
     1.4  val e_kestoreID = ["e_kestoreID"];
     1.5  val kestoreID2str = strs2str;
     1.6  
     1.7 -(*for distinction of contexts*)
     1.8 +(*for distinction of contexts WN130621: disambiguate with Isabelle's Context !*)
     1.9  datatype ketype = Exp_ | Thy_ | Pbl_ | Met_;
    1.10  fun ketype2str Exp_ = "Exp_"
    1.11    | ketype2str Thy_ = "Thy_"