cic module removed (RIP)

[helm.git] / matita / components / content / notationUtil.mli

diff --git a/matita/components/content/notationUtil.mli b/matita/components/content/notationUtil.mli
index 6194fc85558fa9e991ec7a120f7175903abc742e..daca935876bb7509704b1bae0f5e9195786c3c23 100644 (file)
--- a/matita/components/content/notationUtil.mli
+++ b/matita/components/content/notationUtil.mli
@@ -82,9 +82,6 @@ val find_appl_pattern_uris:
 val find_branch:
   NotationPt.term -> NotationPt.term
 
-val cic_name_of_name: NotationPt.term -> Cic.name
-val name_of_cic_name: Cic.name -> NotationPt.term
-
   (** Symbol/Numbers instances *)
 
 val freshen_term: NotationPt.term -> NotationPt.term