- Added new output in standard C.

[helm.git] / helm / software / matita / library / decidable_kit / streicher.ma

diff --git a/helm/software/matita/library/decidable_kit/streicher.ma b/helm/software/matita/library/decidable_kit/streicher.ma
index 83c6f6169008de088cfc3224228c0c0cd6e5b5a9..96903da9e8f6ef556905f092aa56eb92a602e702 100644 (file)
--- 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".