+
+ let builtin s =
+ let ns = "http://www.cs.unibo.it/helm/schemas/schema-helm#" in
+ match s with
+ | "MH" -> ns ^ "MainHypothesis"
+ | "IH" -> ns ^ "InHypothesis"
+ | "MC" -> ns ^ "MainConclusion"
+ | "IC" -> ns ^ "InConclusion"
+ | "IB" -> ns ^ "InBody"
+ | "SET" -> "Set"
+ | "PROP" -> "Prop"
+ | "TYPE" -> "Type"
+ | _ -> raise Parsing.Parse_error
+