diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-08 09:41:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-08 09:41:29 +0000 |
| commit | f09da91cd6580cb5523ba66400e1d122bbcf3c1d (patch) | |
| tree | 9cf589c53b144147ac4be78eb44be6b8f70eb631 /acl2 | |
| parent | 342d6a61c84703607270b102a6ae9884697286ab (diff) | |
Remove duplicate
Diffstat (limited to 'acl2')
| -rw-r--r-- | acl2/example.acl2 | 4 |
1 files changed, 0 insertions, 4 deletions
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))) - |