| changeset 42551 | cd99d6d3027a |
| parent 42549 | b9754f26c7bc |
| child 42553 | d9963b253ffa |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML Sun May 01 18:37:24 2011 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML Sun May 01 18:37:24 2011 +0200 @@ -24,6 +24,7 @@ val boolify_base : string val explicit_app_base : string val type_pred_base : string + val type_prefix : string val is_type_system_sound : type_system -> bool val type_system_types_dangerous_types : type_system -> bool val num_atp_type_args : theory -> type_system -> string -> int