2 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
6 <body bgcolor="#ffffff">
8 <table border="0" cellspacing="0" cellpadding="0">
10 <td><img src="matita.png" width="276" height="110" alt="matita" /></td></tr>
13 <form action="@SEARCH_ENGINE_URL@/ask_uwobo" method="get">
14 <input type="hidden" name="param.processorURL" value="@processorURL@" />
15 <input type="hidden" name="param.getterURL" value="@getterURL@" />
16 <input type="hidden" name="param.proofcheckerURL" value="@proofcheckerURL@" />
17 <input type="hidden" name="param.draw_graphURL" value="@draw_graphURL@" />
18 <input type="hidden" name="param.ui_set_queueURL" value="@uri_set_queueURL@" />
19 <input type="hidden" name="param.UNICODEvsSYMBOL" value="@UNICODEvsSYMBOL@" />
20 <input type="hidden" name="param.keys" value="@keys@" />
21 <input type="hidden" name="param.thkeys" value="@thkeys@" />
22 <input type="hidden" name="param.embedkeys" value="@embedkeys@" />
23 <input type="hidden" name="param.doctype-public" value="@public@" />
24 <input type="hidden" name="param.encoding" value="@encoding@" />
25 <input type="hidden" name="param.thencoding" value="@thencoding@" />
26 <input type="hidden" name="param.media-type" value="@type@" />
27 <input type="hidden" name="param.thmedia-type" value="@type@" />
28 <input type="hidden" name="param.interfaceURL" value="@interfaceURL@" />
29 <input type="hidden" name="param.thinterfaceURL" value="@thinterfaceURL@" />
30 <input type="hidden" name="param.CICURI" value="@CICURI@" />
31 <input type="hidden" name="param.expandasking" value="@SEARCH_ENGINE_URL@" />
32 <input type="hidden" name="param.annotations" value="@annotations@" />
33 <input type="hidden" name="param.naturalLanguage" value="@naturalLanguage@" /> <input type="hidden" name="param.SEARCH_ENGINE_URL" value="@SEARCH_ENGINE_URL@" />
34 <input type="hidden" name="param.topurl" value="@topurl@" />
35 <table cellspacing="0" cellpadding="0">
36 <tr valign="middle"><td width="25%"> </td>
38 <input maxLength="256" size="55" name="expression" value="" />
40 <input type="submit" value="locate" name="action" />
41 <input type="submit" value="hint" name="action" />
42 <input type="submit" value="match" name="action" />
43 <input type="submit" value="elim" name="action" />
45 <td valign="top" width="25%">
47 <a href="/advanced_search">Advanced search</a><br />
48 <a href="/preferences">Preferences</a>
53 <td colspan="3" align="center">
55 <input id="all" type="radio" name="lr" value="all" checked="true" />
56 <label for="all">All contribs</label>
57 <input id="standard" type="radio" name="lr" value="standard" />
58 <label for="standard">Standard library</label>