doc-src/Tutorial/Datatype/update

--- a/doc-src/Tutorial/Datatype/update	Mon Nov 29 11:12:19 2004 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-consts update :: ('a,'v)trie => 'a list => 'v => ('a,'v)trie
-
-primrec
-  "update t []     v = Trie (Some v) (alist t)"
-  "update t (a#as) v = (let tt = (case assoc (alist t) a of
-                                    None => Trie None [] | Some at => at)
-                        in Trie (value t) ((a,update tt as v)#alist t))"