--- a/src/Pure/Syntax/syn_trans.ML Fri Nov 10 16:19:45 1995 +0100
+++ b/src/Pure/Syntax/syn_trans.ML Sun Nov 12 13:14:13 1995 +0100
@@ -147,7 +147,7 @@
(*do (partial) eta-contraction before printing*)
-val eta_contract = ref false;
+val eta_contract = ref true;
fun eta_contr tm =
let