src/Pure/library.ML
changeset 4630 437ddddbfef5
parent 4629 401dd9b1b548
child 4692 748f4e365d14
     1.1 --- a/src/Pure/library.ML	Fri Feb 13 20:16:02 1998 +0100
     1.2 +++ b/src/Pure/library.ML	Wed Feb 18 10:37:48 1998 +0100
     1.3 @@ -616,7 +616,7 @@
     1.4    | is_quasi_letter ch = is_letter ch;
     1.5  
     1.6  (*white space: blanks, tabs, newlines, formfeeds*)
     1.7 -val is_blank : string -> bool =
     1.8 +val is_blank : string -> bool =					(* FIXME *)
     1.9    fn " " => true | "\t" => true | "\n" => true | "\^L" => true | "\160" => true
    1.10      | _ => false;
    1.11