1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
2 "http://www.w3.org/TR/REC-html40/loose.dtd">
3 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
7 <style type="text/css">
8 #normal { background-color: #e6e6fa; font-family: sans-serif }
9 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
10 td.back { background-color: #e6e6fa; color: brown }
11 #indent { margin-left: 1cm; margin-right: 1cm }
12 #centered { text-align: center }
13 h2 { text-align: center }
14 li { padding-bottom: 1ex }
17 <script language="JavaScript" src="../../javascript/defaults.js"></script>
18 <script language="JavaScript" src="../../javascript/utils.js"></script>
19 <script language="JavaScript" src="../../javascript/control.js"></script>
24 <h2><subst:base_CICURI/></h2>
28 var url = "<subst:url/>";
29 document.write('<a href="' + url + '" target="_blank">Open theory in new window</a>');
35 <td> View its metadata </td>
36 <td>(Not implemented, yet. Coming soon.)</td>
39 <td> Proof-check it </td>
40 <td> (Not ported to V7, yet. Coming soon.) </td>