]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/templateambigpdq3.html
added Peano module and functions to create natural/real terms
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
1 <html>
2    <head>
3       <style> A { text-decoration: none } </style>
4       <SCRIPT>
5          top.templateambigpdq3_init(new Array(@NEW_ALIASES@));
6       </SCRIPT>
7    </head>
8    <body>
9       @RESULTS@
10    </body>
11 </html>