]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / metadata / create_V7_mowgli / forward_rel_or_sort_header.txt
diff --git a/helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt b/helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt
deleted file mode 100644 (file)
index 3802d0e..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-
-<!DOCTYPE rdf:RDF [
-        <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
-        <!ENTITY hthns 'http://www.cs.unibo.it/helm/schemas/schema-helmth#'>
-        <!ENTITY hns 'http://www.cs.unibo.it/helm/schemas/schema-helm#'>
-
-   ]>
-<rdf:RDF xml:lang="en" xmlns:rdf="&rdfns;" xmlns:h="&hns;" xmlns:hth="&hthns;">