src/Provers/classical.ML
changeset 1231 91d2c1bb5803
parent 1073 b3f190995bc9
child 1524 524879632d88
     1.1 --- a/src/Provers/classical.ML	Fri Aug 18 12:28:02 1995 +0200
     1.2 +++ b/src/Provers/classical.ML	Fri Aug 18 15:20:02 1995 +0200
     1.3 @@ -186,7 +186,7 @@
     1.4       map (pair false) intrs);
     1.5  
     1.6  (*Priority: prefer rules with fewest subgoals, 
     1.7 -              then rules added most recently.*)
     1.8 +  then rules added most recently (preferring the head of the list).*)
     1.9  fun tag_brls k [] = []
    1.10    | tag_brls k (brl::brls) =
    1.11        (1000000*subgoals_of_brl brl + k, brl) ::