# 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