1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Fri Oct 29 16:29:39 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Wed Nov 03 09:45:59 2010 +0100
     1.3 @@ -215,11 +215,11 @@
     1.4  (* datatypes *)
     1.5  
     1.6  (*.the state wich is stored after each step of calculation; it contains
     1.7 -   the calc-state and a list of [tac,istate](="tacis") to be applied.
     1.8 +   the calc-state and a list of [tac,istate](="tacis") to be applied next.
     1.9     the last_elem tacis is the first to apply to the calc-state and
    1.10     the (only) one shown to the front-end as the 'proposed tac'.
    1.11     the calc-state resulting from the application of tacis is not stored,
    1.12 -   because the tacis hold enought information for efficiently rebuilding
    1.13 +   because the tacis hold enough information for efficiently rebuilding
    1.14     this state just by "fun generate ".*)
    1.15  type calcstate = 
    1.16       (ptree * pos') *    (*the calc-state to which the tacis could be applied*)