src/Pure/General/path.ML
changeset 6187 c6c4626ef693
parent 6183 ca3ff2fee318
child 6223 e8807883e3e3
     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