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.
auto: CHANGED;
authorwenzelm
Mon, 30 Aug 1999 17:26:43 +0200
changeset 7394 0fc6f18da7c5
parent 7393 c6ce498b4767
child 7395 66a3d3bb28e4
auto: CHANGED;
src/Provers/clasimp.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/clasimp.ML	Mon Aug 30 17:18:20 1999 +0200
+++ b/src/Provers/clasimp.ML	Mon Aug 30 17:26:43 1999 +0200
@@ -168,7 +168,7 @@
 val setup =
  [Method.add_methods
    [("clarsimp", clasimp_method' clarsimp_tac, "clarsimp (improper!)"),
-    ("auto", clasimp_method auto_tac, "auto"),
+    ("auto", clasimp_method (CHANGED o auto_tac), "auto"),
     ("force", clasimp_method' force_tac, "force")]];
isabelle