# HG changeset patch
# User wenzelm
# Date 1408714770 -7200
# Node ID 154ae20ead351b6711e6bc7cd3038b146f89dd06
# Parent  e92cdae8b3b5981dc394ccabd9ae4012433719da
tuned whitespace;

diff -r e92cdae8b3b5 -r 154ae20ead35 src/Pure/ML/ml_thms.ML
--- a/src/Pure/ML/ml_thms.ML	Fri Aug 22 12:05:47 2014 +0200
+++ b/src/Pure/ML/ml_thms.ML	Fri Aug 22 15:39:30 2014 +0200
@@ -37,7 +37,6 @@
 val cons_thms = Data.map o apsnd o cons;
 
 
-
 (* attribute source *)
 
 val _ = Theory.setup