Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/tactic.ML
changeset 4713 bea2ab2e360b
parent 4693 2e47ea2c6109
child 5263 8862ed2db431 
--- a/src/Pure/tactic.ML	Tue Mar 10 13:23:35 1998 +0100
+++ b/src/Pure/tactic.ML	Tue Mar 10 13:24:11 1998 +0100
@@ -10,7 +10,7 @@
   sig
   val ares_tac		: thm list -> int -> tactic
   val asm_rewrite_goal_tac:
-        bool*bool -> (meta_simpset -> tactic) -> meta_simpset -> int -> tactic
+    bool*bool*bool -> (meta_simpset -> tactic) -> meta_simpset -> int -> tactic
   val assume_tac	: int -> tactic
   val atac	: int ->tactic
   val bimatch_from_nets_tac:
isabelle