acic_procedural and tactics removed

[helm.git] / matita / matita / applyTransformation.mli

diff --git a/matita/matita/applyTransformation.mli b/matita/matita/applyTransformation.mli
index 7e1cfb6fb1c3860f1476492039266bcd87810951..1b1b749e7653318e8c7c860b5217ac573b843e4e 100644 (file)
--- a/matita/matita/applyTransformation.mli
+++ b/matita/matita/applyTransformation.mli
@@ -124,9 +124,3 @@ val txt_of_macro:
     Cic.metasenv ->
     Cic.context ->
     (Cic.term, Cic.lazy_term) GrafiteAst.macro -> string
-
-(* columns, rendering depth, context, term *)
-val procedural_txt_of_cic_term: 
-  map_unicode_to_tex:bool -> int -> GrafiteAst.inline_param list -> 
-  Cic.context -> Cic.term ->
-    string