diff -r e08c9f755fca -r 082d9bc6992d src/Tools/Auto_Counterexample.thy
--- a/src/Tools/Auto_Counterexample.thy	Fri Nov 20 10:40:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-(*  Title:   Tools/Auto_Counterexample.thy
-    Author:  Jasmin Blanchette, TU Muenchen
-
-Counterexample Search Unit (do not abbreviate!).
-*)
-
-header {* Counterexample Search Unit *}
-
-theory Auto_Counterexample
-imports Pure
-uses
-  "~~/src/Tools/auto_counterexample.ML"
-begin
-
-end