Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Set eta_contract to true.
authornipkow
Sun, 12 Nov 1995 13:14:13 +0100
changeset 1326 1fbf9407757c
parent 1325 32f6d6920204
child 1327 6c29cfab679c
Set eta_contract to true.
src/Pure/Syntax/syn_trans.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle