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>
25 <img src="http://helm.cs.unibo.it/helm/icons/section.png" />
26 <h2><subst:base_CICURI/></h2>
30 <a href="http://helm.cs.unibo.it">HELM home</a>
36 var url = "<subst:url/>";
37 document.write('<a href="' + url + '" target="_blank">Open theory in new window</a>');