enabled sig;
authorwenzelm
Wed Feb 03 16:41:49 1999 +0100 (1999-02-03)
changeset 6187c6c4626ef693
parent 6186 72abe86d9418
child 6188 c40e5ac04e3e
enabled sig;
src/Pure/General/path.ML
     1.1 --- a/src/Pure/General/path.ML	Wed Feb 03 16:41:00 1999 +0100
     1.2 +++ b/src/Pure/General/path.ML	Wed Feb 03 16:41:49 1999 +0100
     1.3 @@ -22,11 +22,10 @@
     1.4    val unpack: string -> T
     1.5    val base: T -> T
     1.6    val ext: string -> T -> T
     1.7 -(* FIXME  val evaluate: (string -> T) -> T -> T	*)
     1.8    val expand: T -> T
     1.9  end;
    1.10  
    1.11 -structure Path(* FIXME : PATH *) =
    1.12 +structure Path: PATH =
    1.13  struct
    1.14  
    1.15