changeset 47148 | 0b8b73b49848 |
parent 47115 | 549755ebf4d2 |
child 47610 | a6f83f21dc2c |
1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Jan 23 17:40:31 2012 +0100 1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Jan 23 17:40:32 2012 +0100 1.3 @@ -1012,7 +1012,7 @@ 1.4 handle TYPE ("Nitpick_HOL.card_of_type", _, _) => 1.5 default_card) 1.6 1.7 -(* Similar to "ATP_Translate.tiny_card_of_type". *) 1.8 +(* Similar to "ATP_Util.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