From 2826aed999b30a6f53978fe457c1e5f3587ac6d6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Sep 2005 14:02:25 +0000
Subject: [PATCH] Spurious interpretation removed.

---
 helm/matita/library/list/list.ma | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/helm/matita/library/list/list.ma b/helm/matita/library/list/list.ma
index 417c88ee7..0b7340d05 100644
--- a/helm/matita/library/list/list.ma
+++ b/helm/matita/library/list/list.ma
@@ -16,9 +16,6 @@ set "baseuri" "cic:/matita/list/".
 include "logic/equality.ma".
 include "higher_order_defs/functions.ma".
 
-interpretation "leibnitz's equality" 'eq x y =
-  (cic:/matita/logic/equality/eq.ind#xpointer(1/1) _ x y).
-
 notation "hvbox(hd break :: tl)"
   right associative with precedence 46
   for @{'cons $hd $tl}.
-- 
2.39.2