1.1 --- a/src/Tools/isac/Interpret/inform.sml	Tue Jan 11 15:28:03 2011 +0100
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Mon Feb 21 19:40:36 2011 +0100
     1.3 @@ -219,7 +219,7 @@
     1.4  	   in SOME (pt, (true, Met, hdt, mits, pre, spec):ocalhd) end
     1.5      end;
     1.6  
     1.7 -(*lazy evaluation for (theory "Isac")*)
     1.8 +(*lazy evaluation for (Thy_Info.get_theory "Isac")*)
     1.9  fun Isac _  = assoc_thy "Isac";
    1.10  
    1.11  (*re-parse itms with a new thy and prepare for checking with ori list*)