+
+function mkMetaTheoryURL(uri)
+{
+ var rdfuri = mkBackwardRDFURI(uri);
+ var getterURL = getParam("param.getterURL");
+ var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
+ url = setParam(url,"param.embedkeys", getEmbedKeys());
+ url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
+ return url;
+}