From f09da91cd6580cb5523ba66400e1d122bbcf3c1d Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 8 Jun 2002 09:41:29 +0000
Subject: Remove duplicate

---
 acl2/example.acl2 | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'acl2')

diff --git a/acl2/example.acl2 b/acl2/example.acl2
index a493ab1a..a3a0f211 100644
--- a/acl2/example.acl2
+++ b/acl2/example.acl2
@@ -7,7 +7,3 @@
   (equal (assoc x a)
 	 (assoc-equal x a)))
 
-(defthm assoc->assoc-equal
-  (equal (assoc x a)
-	 (assoc-equal x a)))
-
-- 
cgit v1.2.3