]> matita.cs.unibo.it Git - helm.git/commitdiff
paramod_tac exported
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:57:43 +0000 (09:57 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:57:43 +0000 (09:57 +0000)
helm/software/components/ng_tactics/nnAuto.mli

index e08d0456d2468988c5c23665be1d51ee0f8bbecc..e1312d05c1775c72e3351a0644c749fc9c55bf3d 100644 (file)
@@ -16,6 +16,10 @@ val fast_eq_check_tac:
   params:(NTacStatus.tactic_term list * (string * string) list) -> 
    's NTacStatus.tactic
 
+val paramod_tac:
+  params:(NTacStatus.tactic_term list * (string * string) list) -> 
+   's NTacStatus.tactic
+
 val smart_apply_tac: 
   NTacStatus.tactic_term -> 's NTacStatus.tactic