# HG changeset patch
# User haftmann
# Date 1255435681 -7200
# Node ID 8e40cd05de7afc468852ca61bb2e74e64d6e11e8
# Parent  0d88ad6fcf029741c9831d595c266e42b17e35d6
deactivated Datatype.distinct_simproc

diff -r 0d88ad6fcf02 -r 8e40cd05de7a src/HOL/Tools/Datatype/datatype.ML
--- a/src/HOL/Tools/Datatype/datatype.ML	Tue Oct 13 14:08:00 2009 +0200
+++ b/src/HOL/Tools/Datatype/datatype.ML	Tue Oct 13 14:08:01 2009 +0200
@@ -555,7 +555,6 @@
 (* setup theory *)
 
 val setup =
-  simproc_setup #>
   trfun_setup #>
   DatatypeInterpretation.init;