X.xml_nempty "rdf:RDF"
["xml:lang","en" ;
"xmlns:rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#";
- "xmlns:h","http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
+ "xmlns:h","http://www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
(try
Stream.empty content ; (* raise Stream.failure if not empty *)
| C.Appl _ -> assert false
| C.Const (uri,_) ->
UriHash.add_uri (U.string_of_uri uri) kind
- | C.Abst _ -> assert false
| C.MutInd (uri,_,typeno) ->
H.add_uri
(U.string_of_uri uri ^ "#xpointer(1/" ^
List.iter process_body_aux l
| C.Const (uri,_) ->
UriHash.add_uri (U.string_of_uri uri) H.InBody
- | C.Abst _ -> assert false
| C.MutInd (uri,_,typeno) ->
H.add_uri
(U.string_of_uri uri ^ "#xpointer(1/" ^