src/HOL/Tools/Sledgehammer/async_manager.ML
changeset 47529 5f35a95c0645
parent 45573 22d003b5b32e
child 47945 4073e51293cf
equal deleted inserted replaced
47528:a8c2cb501614 47529:5f35a95c0645
    22 struct
    22 struct
    23 
    23 
    24 (** preferences **)
    24 (** preferences **)
    25 
    25 
    26 val message_store_limit = 20;
    26 val message_store_limit = 20;
    27 val message_display_limit = 5;
    27 val message_display_limit = 10;
    28 
    28 
    29 
    29 
    30 (** thread management **)
    30 (** thread management **)
    31 
    31 
    32 val implode_desc = op ^ o apfst quote
    32 val implode_desc = op ^ o apfst quote