X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdecidable_kit%2Fstreicher.ma;h=96903da9e8f6ef556905f092aa56eb92a602e702;hb=0e9f9d6d7a0466ee132553fb7a983eac282fb12f;hp=83c6f6169008de088cfc3224228c0c0cd6e5b5a9;hpb=680039d60c1d69521f84580ee0069cb2d6ff56ba;p=helm.git

diff --git a/helm/software/matita/library/decidable_kit/streicher.ma b/helm/software/matita/library/decidable_kit/streicher.ma
index 83c6f6169..96903da9e 100644
--- a/helm/software/matita/library/decidable_kit/streicher.ma
+++ b/helm/software/matita/library/decidable_kit/streicher.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/decidable_kit/streicher/".
-
 include "logic/connectives.ma".
 include "logic/equality.ma".