From 5b794c3bb084d01dbb5d2b4ba5f7a23abac10d68 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Feb 2000 15:06:50 +0000
Subject: Remove duplicate entry.

---
 html/links.phtml | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'html')

diff --git a/html/links.phtml b/html/links.phtml
index 08c4df2b..4337d638 100644
--- a/html/links.phtml
+++ b/html/links.phtml
@@ -55,15 +55,6 @@ for links to include here, or find broken links, please
 </li>
 </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>
-- 
cgit v1.2.3