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.
export cla_meth(');
authorwenzelm
Mon, 02 Aug 1999 17:59:06 +0200
changeset 7154 687657a3f7e6
parent 7153 820c8c8573d9
child 7155 70ba7d640bfe
export cla_meth(');
src/Provers/classical.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/classical.ML	Mon Aug 02 17:58:46 1999 +0200
+++ b/src/Provers/classical.ML	Mon Aug 02 17:59:06 1999 +0200
@@ -172,6 +172,8 @@
   val xtra_intro_local: Proof.context attribute
   val delrule_local: Proof.context attribute
   val cla_modifiers: (Args.T list -> (Proof.context attribute * Args.T list)) list
+  val cla_meth: (claset -> tactic) -> Proof.context -> Proof.method
+  val cla_meth': (claset -> int -> tactic) -> Proof.context -> Proof.method
   val cla_method: (claset -> tactic) -> Args.src -> Proof.context -> Proof.method
   val cla_method': (claset -> int -> tactic) -> Args.src -> Proof.context -> Proof.method
   val single_tac: claset -> thm list -> int -> tactic
isabelle