X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;h=9bc072d360e7db2f2bc25648aa1baa72b3c95727;hb=c0cd1db2993db9e7daadde2aba399bebacc0ac2b;hp=c594a10ffab17361278c6abba3a06d0bfe2d93bc;hpb=ab6418f3f81a8a3023a550243a853f295f843cc1;p=helm.git

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
index c594a10ff..9bc072d36 100644
--- a/helm/searchEngine/html/moogle_form.html.src
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -19,6 +19,7 @@
 	  <input type="submit" value="hint" name="param.action" />
 	  <input type="submit" value="match" name="param.action" />
 	  <input type="submit" value="elim" name="param.action" />
+	  <input type="submit" value="instance" name="param.action" />
 	</td>
 	<td>&#xA0;&#xA0;&#xA0;</td>
 	<td>