X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fanticipate.mli;h=465cff23b0910b8dc48bd4be2f3ca55f21ece5c2;hb=27e233449243eb4dc9b221a1117607493522c7e9;hp=ec5a777756ba574127b700ea56f94fb845aa7718;hpb=788e7cb15734fd228e8788ea628934af483ae772;p=helm.git

diff --git a/matita/components/binaries/matex/anticipate.mli b/matita/components/binaries/matex/anticipate.mli
index ec5a77775..465cff23b 100644
--- a/matita/components/binaries/matex/anticipate.mli
+++ b/matita/components/binaries/matex/anticipate.mli
@@ -9,12 +9,6 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-val typeof: NCic.context -> NCic.term -> NCic.term
-
-val not_prop1: NCic.context -> NCic.term -> bool
-
-val not_prop2: NCic.context -> NCic.term -> bool
-
 val process_top_term: string -> NCic.term -> NCic.term
 
 val process_obj: NCic.obj_kind -> NCic.obj_kind