--- a/src/HOL/Tools/ATP/atp_translate.ML Fri Aug 26 15:11:33 2011 -0700
+++ b/src/HOL/Tools/ATP/atp_translate.ML Sat Aug 27 11:22: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"