change default for generation of tag idempotence and tag argument equations

--- a/src/HOL/Tools/ATP/atp_translate.ML	Wed Sep 08 16:10:49 2010 -0700
+++ b/src/HOL/Tools/ATP/atp_translate.ML	Fri Aug 26 21:52:11 2011 +0200
@@ -117,9 +117,9 @@
 type name = string * string
 
 val type_tag_idempotence =
-  Attrib.setup_config_bool @{binding atp_type_tag_idempotence} (K true)
+  Attrib.setup_config_bool @{binding atp_type_tag_idempotence} (K false)
 val type_tag_arguments =
-  Attrib.setup_config_bool @{binding atp_type_tag_arguments} (K true)
+  Attrib.setup_config_bool @{binding atp_type_tag_arguments} (K false)
 
 val no_lambdasN = "no_lambdas"
 val concealedN = "concealed"