src/HOL/Library/Multiset.thy
changeset 38287 796302ca3611
parent 38242 f26d590dce0f
child 38857 97775f3e8722
     1.1 --- a/src/HOL/Library/Multiset.thy	Mon Aug 09 12:48:40 2010 +0200
     1.2 +++ b/src/HOL/Library/Multiset.thy	Mon Aug 09 12:53:16 2010 +0200
     1.3 @@ -1723,8 +1723,8 @@
     1.4    | multiset_postproc _ _ _ _ t = t
     1.5  *}
     1.6  
     1.7 -setup {*
     1.8 -Nitpick_Model.register_term_postprocessor_global @{typ "'a multiset"}
     1.9 +declaration {*
    1.10 +Nitpick_Model.register_term_postprocessor @{typ "'a multiset"}
    1.11      multiset_postproc
    1.12  *}
    1.13