src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 41876 03f699556955
parent 41875 e3cd0dce9b1a
child 41898 55d981e1232a
equal deleted inserted replaced
41875:e3cd0dce9b1a 41876:03f699556955
    26      binary_ints: bool option,
    26      binary_ints: bool option,
    27      destroy_constrs: bool,
    27      destroy_constrs: bool,
    28      specialize: bool,
    28      specialize: bool,
    29      star_linear_preds: bool,
    29      star_linear_preds: bool,
    30      total_consts: bool option,
    30      total_consts: bool option,
    31      needs: (term option * bool option) list,
    31      needs: term list option,
    32      tac_timeout: Time.time option,
    32      tac_timeout: Time.time option,
    33      evals: term list,
    33      evals: term list,
    34      case_names: (string * int) list,
    34      case_names: (string * int) list,
    35      def_tables: const_table * const_table,
    35      def_tables: const_table * const_table,
    36      nondef_table: const_table,
    36      nondef_table: const_table,
   259    binary_ints: bool option,
   259    binary_ints: bool option,
   260    destroy_constrs: bool,
   260    destroy_constrs: bool,
   261    specialize: bool,
   261    specialize: bool,
   262    star_linear_preds: bool,
   262    star_linear_preds: bool,
   263    total_consts: bool option,
   263    total_consts: bool option,
   264    needs: (term option * bool option) list,
   264    needs: term list option,
   265    tac_timeout: Time.time option,
   265    tac_timeout: Time.time option,
   266    evals: term list,
   266    evals: term list,
   267    case_names: (string * int) list,
   267    case_names: (string * int) list,
   268    def_tables: const_table * const_table,
   268    def_tables: const_table * const_table,
   269    nondef_table: const_table,
   269    nondef_table: const_table,