]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create_V7_mowgli/forward_rel_or_sort_header.txt
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / create_V7_mowgli / forward_rel_or_sort_header.txt
1 <?xml version="1.0" encoding="ISO-8859-1"?>
2
3 <!DOCTYPE rdf:RDF [
4         <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
5         <!ENTITY hthns 'http://www.cs.unibo.it/helm/schemas/schema-helmth#'>
6         <!ENTITY hns 'http://www.cs.unibo.it/helm/schemas/schema-helm#'>
7
8    ]>
9 <rdf:RDF xml:lang="en" xmlns:rdf="&rdfns;" xmlns:h="&hns;" xmlns:hth="&hthns;">