X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fschemas%2Fschema-hth;h=10e20c08308f1dad0aaaa609b4d4ad11e53313ad;hb=c29e258ee426d0216b3fcf3e561ccf8fc206440d;hp=2c51c8cc8a89148f906e46398873d253c2277364;hpb=e147acdb13c52328b712cb2c200bafbe8aadbcc4;p=helm.git
diff --git a/helm/schemas/schema-hth b/helm/schemas/schema-hth
index 2c51c8cc8..10e20c083 100644
--- a/helm/schemas/schema-hth
+++ b/helm/schemas/schema-hth
@@ -68,14 +68,16 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth#" -->
-
+
-
+
+
HELM File text types of a mathematical resource (possible
@@ -171,7 +173,7 @@ resource
A relation between mathematical resources
-
+
@@ -179,7 +181,7 @@ resource
A relation between mathematical resources
-
+
@@ -187,7 +189,7 @@ resource
A relation between mathematical resources
-
+
@@ -195,7 +197,7 @@ resource
A relation between mathematical resources
-
+