diff -r 9e14fbd43e6b -r 372d6749f00e src/Tools/Metis/src/Stream.sig
--- a/src/Tools/Metis/src/Stream.sig	Tue Nov 13 17:04:16 2007 +0100
+++ b/src/Tools/Metis/src/Stream.sig	Tue Nov 13 18:29:28 2007 +0100
@@ -85,6 +85,10 @@
 
 val fromList : 'a list -> 'a stream
 
+val toString : char stream -> string
+
+val fromString : string -> char stream
+
 val toTextFile : {filename : string} -> string stream -> unit
 
 val fromTextFile : {filename : string} -> string stream  (* line by line *)