X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fricerca.xsl;h=e22a2a943e3e780a16cd1d0f7e9b33d6ed4f3797;hb=f30094dc3d98ab6902bdf079b26b269f387af892;hp=b9502139d1f25c4258ea071598b0f7e9d000ab64;hpb=c539f832ce69f7488e79e80d78c2c5003674dc50;p=helm.git diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl index b9502139d..e22a2a943 100644 --- a/helm/style/ricerca.xsl +++ b/helm/style/ricerca.xsl @@ -24,85 +24,81 @@ - + + + + + +

getxml?uri=

- + - - - - - - - -
- - - - - - - - - - - - - -
- - - - - - - + + + + + + + + + select="boolean(document(concat($absPath,$abs_uri))//MUTIND[string(@uri)='cic:/Coq/Init/Logic/Equality/eq.ind'])"/> -
+
- - - - - -
- + + +

+ + + + + + + + - - - + + - + + + + + + + + + + + + + + + +