--- a/src/Pure/library.ML Tue Jul 17 13:19:20 2007 +0200
+++ b/src/Pure/library.ML Tue Jul 17 13:19:21 2007 +0200
@@ -217,10 +217,6 @@
val one_of: 'a list -> 'a
val frequency: (int * 'a) list -> 'a
- (*current directory*)
- val cd: string -> unit
- val pwd: unit -> string
-
(*misc*)
val divide_and_conquer: ('a -> 'a list * ('b list -> 'b)) -> 'a -> 'b
val partition_eq: ('a * 'a -> bool) -> 'a list -> 'a list list
@@ -1018,13 +1014,6 @@
-(** current directory **)
-
-val cd = OS.FileSys.chDir;
-val pwd = OS.FileSys.getDir;
-
-
-
(** misc **)
fun divide_and_conquer decomp x =