diff -r ace45a11a45e -r bad75618fb82 src/HOL/Library/Quantified_Premise_Simproc.thy
--- a/src/HOL/Library/Quantified_Premise_Simproc.thy	Thu Jul 02 08:49:04 2020 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-(* Author: Florian Haftmann, TU München *)
-
-theory Quantified_Premise_Simproc
-  imports Main
-begin
-
-declare [[simproc add: defined_all]]
-
-end