src/Tools/Auto_Counterexample.thy

--- a/src/Tools/Auto_Counterexample.thy	Fri Nov 20 22:38:41 2009 +1100
+++ /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