X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fschemas%2Fschema-h;h=4a4798e514fe6b00e288b53ef4951314d5d344d8;hb=c14d84b2a11e8505fc9b0b8a1db4bb41c90de1e1;hp=f26e003e1125b4694a192165937b8581e0a27748;hpb=2fb62ace6214451c2f027423a753d1501a8faac3;p=helm.git
diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
index f26e003e1..4a4798e51 100644
--- a/helm/schemas/schema-h
+++ b/helm/schemas/schema-h
@@ -224,13 +224,6 @@ of CIC XML files, contained in the tree that has the dir as root
-
- URI of an object
-
-
-
-
-
Position of an occurrence