src/Pure/Thy/export.ML

     serial = serial (),
     theory_name = Context.theory_long_name thy,
     name = check_name name,
     compress = compress} body;
 
-fun export thy name body = gen_export (fold (Integer.add o size) body 0 > 60) thy name body;
+val export = gen_export true;
 val export_raw = gen_export false;
 
 end;