--- a/src/HOL/HOL.thy Wed Oct 27 16:32:13 2010 +0200
+++ b/src/HOL/HOL.thy Wed Oct 27 19:14:33 2010 +0200
@@ -1978,11 +1978,9 @@
*} "solve goal by normalization"
-(*
subsection {* Try *}
setup {* Try.setup *}
-*)
subsection {* Counterexample Search Units *}