1.1 --- a/src/Tools/isac/Interpret/inform.sml	Sun Aug 09 17:52:02 2015 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Tue Aug 11 15:39:27 2015 +0200
     1.3 @@ -113,8 +113,7 @@
     1.4  
     1.5  (*calc-head as input*)
     1.6  type icalhd =
     1.7 -     pos' *     (*the position of the calc-head in the calc-tree
     1.8 -		 pos' as (p,p_) where p_ is neglected due to pos_ below*) 
     1.9 +     pos' *     (*the position of the calc-head in the calc-tree*) 
    1.10       cterm' *   (*the headline*)
    1.11       imodel *   (*the model (without Find) of the calc-head*)
    1.12       pos_ *     (*model belongs to Pbl or Met*)