changeset 28490 | 40c3f900c457 |
parent 26216 | c7d0cd2c7715 |
child 29564 | f8b933a62151 |
--- a/src/Pure/ML-Systems/polyml_old_basis.ML Fri Oct 03 21:06:37 2008 +0200 +++ b/src/Pure/ML-Systems/polyml_old_basis.ML Fri Oct 03 21:06:38 2008 +0200 @@ -21,17 +21,6 @@ val full = all; end; -structure Posix = -struct - open Posix; - structure IO = - struct - open IO; - val mkTextReader = mkReader; - val mkTextWriter = mkWriter; - end; -end; - structure TextIO = struct open TextIO;