X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-hth;h=10e20c08308f1dad0aaaa609b4d4ad11e53313ad;hb=33a02e0b639217093eb63f30169aaa6ac8c78907;hp=cd1e8fe2843f94401d00a9e18ef8b7dba0090c1f;hpb=71c844edbf4d0c6eeafd10931aceb3f9f8ff5136;p=helm.git
diff --git a/helm/schemas/schema-hth b/helm/schemas/schema-hth
index cd1e8fe28..10e20c083 100644
--- a/helm/schemas/schema-hth
+++ b/helm/schemas/schema-hth
@@ -35,7 +35,7 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth#" -->
intended to facilitate discovery of mathematical resources.
English
-
+
2000-6-3
@@ -68,14 +68,16 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth#" -->
-
+
-
+
+
HELM File text types of a mathematical resource (possible
@@ -122,6 +124,16 @@ identifiers
+
+
+ Short name (alias) of the mathematical resource
+
+
+
+
+
+
+
Any additional information about the first version of the
@@ -161,7 +173,7 @@ resource
A relation between mathematical resources
-
+
@@ -169,7 +181,7 @@ resource
A relation between mathematical resources
-
+
@@ -177,7 +189,7 @@ resource
A relation between mathematical resources
-
+
@@ -185,7 +197,7 @@ resource
A relation between mathematical resources
-
+