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.
fixed prefer;
authorwenzelm
Mon, 14 Feb 2000 11:23:57 +0100
changeset 8240 87e08624e209
parent 8239 07f25f7d2218
child 8241 a55484a9b19f
fixed prefer;
src/Pure/Isar/method.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/method.ML	Mon Feb 14 11:23:44 2000 +0100
+++ b/src/Pure/Isar/method.ML	Mon Feb 14 11:23:57 2000 +0100
@@ -201,7 +201,7 @@
 
 (* shuffle *)
 
-fun prefer i = METHOD (K (Tactic.defer_tac i THEN PRIMITIVE (Thm.permute_prems 0 1)));
+fun prefer i = METHOD (K (Tactic.defer_tac i THEN PRIMITIVE (Thm.permute_prems 0 ~1)));
 fun defer opt_i = METHOD (K (Tactic.defer_tac (if_none opt_i 1)));
isabelle