diff options
Diffstat (limited to 'src/algebra/tree.spad.pamphlet')
| -rw-r--r-- | src/algebra/tree.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index 27b0d061..a174308e 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -382,7 +382,6 @@ BinaryTree(S: SetCategory): Exports == Implementation where Rep := List Tree S t1 = t2 == (t1::Rep) =$Rep (t2::Rep) empty()== [] pretend % - empty()== [] pretend % node(l,v,r) == cons(tree(v,l:Rep),r:Rep) binaryTree(l,v,r) == node(l,v,r) binaryTree(v:S) == node(empty(),v,empty()) |