1.1 --- a/src/smltest/IsacKnowledge/rational.sml	Wed Aug 30 12:16:45 2006 +0200
     1.2 +++ b/src/smltest/IsacKnowledge/rational.sml	Wed Aug 30 18:50:46 2006 +0200
     1.3 @@ -2045,6 +2045,8 @@
     1.4  if length newnds = 12 then ()
     1.5  else raise error "rational.sml: interSteps cancel_p rev_rew_p";
     1.6  
     1.7 +getTactic 1 ([1,2,1,9],Res);
     1.8 +
     1.9  
    1.10  "-------- investigate rulesets for cancel_p ----------------------";
    1.11  "-------- investigate rulesets for cancel_p ----------------------";