src/Pure/General/path.ML
changeset 23863 8f3099589cfa
parent 23672 3fd7770f6795
child 26881 bb68f50644a9
     1.1 --- a/src/Pure/General/path.ML	Thu Jul 19 23:18:46 2007 +0200
     1.2 +++ b/src/Pure/General/path.ML	Thu Jul 19 23:18:48 2007 +0200
     1.3 @@ -2,14 +2,12 @@
     1.4      ID:         $Id$
     1.5      Author:     Markus Wenzel, TU Muenchen
     1.6  
     1.7 -Abstract algebra of file paths (external encoding Unix-style).
     1.8 +Abstract algebra of file paths (external encoding in Unix style).
     1.9  *)
    1.10  
    1.11  signature PATH =
    1.12  sig
    1.13 -  datatype elem = Root | Parent | Basic of string | Variable of string
    1.14    eqtype T
    1.15 -  val rep: T -> elem list
    1.16    val is_current: T -> bool
    1.17    val current: T
    1.18    val root: T