src/Pure/library.ML
changeset 2196 1b36ebc70487
parent 2182 29e56f003599
child 2243 3ebeaaacfbd1
     1.1 --- a/src/Pure/library.ML	Mon Nov 18 17:27:59 1996 +0100
     1.2 +++ b/src/Pure/library.ML	Mon Nov 18 17:28:19 1996 +0100
     1.3 @@ -374,6 +374,9 @@
     1.4  
     1.5  val is_letdig = is_quasi_letter orf is_digit;
     1.6  
     1.7 +(*printable chars*)
     1.8 +fun is_printable c = ord c > ord " " andalso ord c <= ord "~";
     1.9 +
    1.10  
    1.11  (*lower all chars of string*)
    1.12  val to_lower =