X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fricerca.xsl;h=d665eac51e6aa909fbb693faa28d074f8992314c;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=1ccfd1db87033f1b68af90b3e340207635122a75;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl index 1ccfd1db8..d665eac51 100644 --- a/helm/style/ricerca.xsl +++ b/helm/style/ricerca.xsl @@ -24,91 +24,81 @@ - - - + + - - - + -http://localhost:8081/getciconly?uri= + + +

getxml?uri=

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

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