--- a/src/HOL/HOL.thy Mon Sep 27 11:12:08 2010 +0200
+++ b/src/HOL/HOL.thy Mon Sep 27 12:01:04 2010 +0200
@@ -1980,9 +1980,11 @@
*} "solve goal by normalization"
+(*
subsection {* Try *}
setup {* Try.setup *}
+*)
subsection {* Counterexample Search Units *}