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 li { padding-bottom: 1ex }
14 div.center { text-align: center }
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>
21 var interfaceURL = "<subst:interfaceURL/>";
22 var url = "<subst:url/>";
30 document.write('<a target="result" style="color:black; text-decoration:none" href="' + url + '&param.toplevel=true">');
31 document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/theory.png" />');
33 <h2><subst:base_CICURI/></h2>
34 <script>document.write('</a>');</script>
38 <a href="http://helm.cs.unibo.it" target="_top">HELM home</a>
44 var url = "<subst:url/>";
45 document.write('<a href="' + url + '" target="_blank">Open theory in new window</a>');