--- a/src/HOL/Transfer.thy Wed Oct 29 14:40:14 2014 +0100
+++ b/src/HOL/Transfer.thy Wed Oct 29 15:02:29 2014 +0100
@@ -249,7 +249,6 @@
by auto
ML_file "Tools/Transfer/transfer.ML"
-setup Transfer.setup
declare refl [transfer_rule]
hide_const (open) Rel