src/Pure/library.ML
changeset 3393 e31ac367387e
parent 3365 86c0d1988622
child 3407 afd288caf573
     1.1 --- a/src/Pure/library.ML	Tue Jun 03 12:03:38 1997 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Jun 03 16:38:58 1997 +0200
     1.3 @@ -391,7 +391,7 @@
     1.4  
     1.5  (*white space: blanks, tabs, newlines, formfeeds*)
     1.6  val is_blank : string -> bool =
     1.7 -  fn " " => true | "\t" => true | "\n" => true | "\^L" => true | "160" => true
     1.8 +  fn " " => true | "\t" => true | "\n" => true | "\^L" => true | "\160" => true
     1.9      | _ => false;
    1.10  
    1.11  val is_letdig = is_quasi_letter orf is_digit;