1.1 --- a/lib/scripts/fixdatatype.pl	Mon Mar 13 16:24:23 2000 +0100
     1.2 +++ b/lib/scripts/fixdatatype.pl	Mon Mar 13 16:24:52 2000 +0100
     1.3 @@ -23,8 +23,8 @@
     1.4      ## replace specific induct_tac by generic induct_tac
     1.5      s/[\w\.]+\.induct_tac/induct_tac/sg;
     1.6  
     1.7 -    ## replace res_inst_tac ... natE by exhaust_tac
     1.8 -    s/\bres_inst_tac\b\s*\[\s*\(\s*"[^"]+"\s*,\s*("[^"]+")\s*\)\s*\]\s*natE\b/exhaust_tac $1/sg;
     1.9 +    ## replace res_inst_tac ... natE by case_tac
    1.10 +    s/\bres_inst_tac\b\s*\[\s*\(\s*"[^"]+"\s*,\s*("[^"]+")\s*\)\s*\]\s*natE\b/case_tac $1/sg;
    1.11  
    1.12      $result = $_;
    1.13