X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fanticipate.mli;h=465cff23b0910b8dc48bd4be2f3ca55f21ece5c2;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hp=e934bb4623141a04b3c17516abc339d53f3378b1;hpb=ea6b4322051d3eb1794bfca3928f6e1773f971ba;p=helm.git

diff --git a/matita/components/binaries/matex/anticipate.mli b/matita/components/binaries/matex/anticipate.mli
index e934bb462..465cff23b 100644
--- a/matita/components/binaries/matex/anticipate.mli
+++ b/matita/components/binaries/matex/anticipate.mli
@@ -9,10 +9,6 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-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