diff options
Diffstat (limited to 'html/links.phtml')
-rw-r--r-- | html/links.phtml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/html/links.phtml b/html/links.phtml index 08c4df2b..4337d638 100644 --- a/html/links.phtml +++ b/html/links.phtml @@ -56,15 +56,6 @@ for links to include here, or find broken links, please </ul> <ul> <li> - As a possible foundation for generic proof environments, - <a href="http://www.nag.co.uk/projects/openmath/omsoc/">OpenMath</a> - is a standard representation form for mathematical objects, which - links in with the <a href="http://www.w3.org/Math/">MathML</a> - markup language. -</li> -</ul> -<ul> -<li> <a href="http://www.mrg.dist.unige.it/omrs/index.html">Open Mechanized Reasoning System (OMRS)</a> </li> </ul> |