X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=c260e8c61a70c9f1c29f80e9b0f3c6367bb10eea;hb=134d8273511016e9b6de3423d301a080046f3948;hp=507f38d162ded2b801ea873939d3f6bbde82f504;hpb=efea8f34e71084fcc6e7791e4927f2f7f8d3f1af;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicPp.mli b/helm/software/components/ng_kernel/nCicPp.mli
index 507f38d16..c260e8c61 100644
--- a/helm/software/components/ng_kernel/nCicPp.mli
+++ b/helm/software/components/ng_kernel/nCicPp.mli
@@ -11,10 +11,16 @@
 
 (* $Id$ *)
 
+val set_head_beta_reduce: (upto:int -> NCic.term -> NCic.term) -> unit
+val set_get_obj: (NUri.uri -> NCic.obj) -> unit
+
+val r2s: bool -> NReference.reference -> string
+
 val ppterm: 
   context:NCic.context -> 
   subst:NCic.substitution -> 
   metasenv:NCic.metasenv ->
+  ?margin:int ->
   ?inside_fix:bool ->
    NCic.term -> string