Changeset 4288
- Timestamp:
- 05/29/08 07:41:07 (6 months ago)
- Files:
-
- 1 modified
-
trunk/library/bintree.lgt (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/library/bintree.lgt
r4286 r4288 15 15 16 16 as_dictionary(Pairs, Dictionary) :- 17 empty(Empty),17 new(Empty), 18 18 insert_all(Pairs, Empty, Dictionary). 19 19
