tuned spacing;

--- a/src/Pure/Syntax/syn_trans.ML	Thu Mar 23 11:27:52 2000 +0100
+++ b/src/Pure/Syntax/syn_trans.ML	Thu Mar 23 11:28:10 2000 +0100
@@ -317,7 +317,7 @@
       | antiquote_tr' i a = no_loose_bvar i a;
 
     fun quote_tr' (Abs (x, T, t) :: ts) =
-          Term.list_comb ( Lexicon.const quoteN $ Term.incr_boundvars ~1 (antiquote_tr' 0 t), ts)
+          Term.list_comb (Lexicon.const quoteN $ Term.incr_boundvars ~1 (antiquote_tr' 0 t), ts)
       | quote_tr' _ = raise Match;
   in (name, quote_tr') end;