--- 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"