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