X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataTypes.ml;h=719ba508c1ae37d5e40f364939c4dec35fe8658a;hb=d6bdacb3cf305051e9e19f8b0422a33315a9279b;hp=a5bbfaf097ad128f280fde538769b1a54907c6eb;hpb=9cd69dd86ed337478461241d497265ccc59f819a;p=helm.git

diff --git a/helm/ocaml/metadata/metadataTypes.ml b/helm/ocaml/metadata/metadataTypes.ml
index a5bbfaf09..719ba508c 100644
--- a/helm/ocaml/metadata/metadataTypes.ml
+++ b/helm/ocaml/metadata/metadataTypes.ml
@@ -23,6 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
+let position_prefix = "http://www.cs.unibo.it/helm/schemas/schema-helm#"
+(* let position_prefix = "" *)
+
+let inconcl_pos = position_prefix ^ "InConclusion"
+let mainconcl_pos = position_prefix ^ "MainConclusion"
+let mainhyp_pos = position_prefix ^ "MainHypothesis"
+let inhyp_pos = position_prefix ^ "InHypothesis"
+let inbody_pos = position_prefix ^ "InBody"
+
 type main_position =
   [ `MainConclusion of int option (* Pi depth *)
   | `MainHypothesis of int option (* Pi depth *)