Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified comment
authorpaulson
Fri, 18 Aug 1995 15:20:02 +0200
changeset 1231 91d2c1bb5803
parent 1230 87e29e18e970
child 1232 454eb424c223
clarified comment
src/Provers/classical.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/classical.ML	Fri Aug 18 12:28:02 1995 +0200
+++ b/src/Provers/classical.ML	Fri Aug 18 15:20:02 1995 +0200
@@ -186,7 +186,7 @@
      map (pair false) intrs);
 
 (*Priority: prefer rules with fewest subgoals, 
-              then rules added most recently.*)
+  then rules added most recently (preferring the head of the list).*)
 fun tag_brls k [] = []
   | tag_brls k (brl::brls) =
       (1000000*subgoals_of_brl brl + k, brl) ::
isabelle