src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 43085 0a2f5b86bdd7
parent 42958 034fc4d0c909
child 43827 62d64709af3b
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue May 31 11:21:47 2011 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue May 31 16:38:36 2011 +0200
     1.3 @@ -969,7 +969,7 @@
     1.4                      handle TYPE ("Nitpick_HOL.card_of_type", _, _) =>
     1.5                             default_card)
     1.6  
     1.7 -(* Similar to "Sledgehammer_ATP_Translate.tiny_card_of_type". *)
     1.8 +(* Similar to "ATP_Translate.tiny_card_of_type". *)
     1.9  fun bounded_exact_card_of_type hol_ctxt finitizable_dataTs max default_card
    1.10                                 assigns T =
    1.11    let