val spc: int -> T;

--- a/src/Pure/Syntax/pretty.ML	Tue Nov 17 14:08:12 1998 +0100
+++ b/src/Pure/Syntax/pretty.ML	Tue Nov 17 14:08:46 1998 +0100
@@ -29,6 +29,7 @@
   val str: string -> T
   val strlen: string -> int -> T
   val sym: string -> T
+  val spc: int -> T
   val brk: int -> T
   val fbrk: T
   val blk: int * T list -> T
@@ -150,6 +151,8 @@
 fun strlen s len = String (s, len);
 fun sym s = String (s, Symbol.size s);
 
+fun spc n = str (repstring " " n);
+
 fun brk wd = Break (false, wd);
 val fbrk = Break (true, 0);