Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 43085 0a2f5b86bdd7
parent 42958 034fc4d0c909
child 43827 62d64709af3b 
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue May 31 11:21:47 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue May 31 16:38:36 2011 +0200
@@ -969,7 +969,7 @@
                     handle TYPE ("Nitpick_HOL.card_of_type", _, _) =>
                            default_card)
 
-(* Similar to "Sledgehammer_ATP_Translate.tiny_card_of_type". *)
+(* Similar to "ATP_Translate.tiny_card_of_type". *)
 fun bounded_exact_card_of_type hol_ctxt finitizable_dataTs max default_card
                                assigns T =
   let
isabelle