(* 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