Renamed *.size to prod.size.
authorberghofe
Tue Dec 18 12:26:24 2007 +0100 (2007-12-18)
changeset 256905226396bf261
parent 25689 4853eeb03158
child 25691 8f8d83af100a
Renamed *.size to prod.size.
src/HOL/Nat.thy
     1.1 --- a/src/HOL/Nat.thy	Tue Dec 18 12:26:00 2007 +0100
     1.2 +++ b/src/HOL/Nat.thy	Tue Dec 18 12:26:24 2007 +0100
     1.3 @@ -1152,7 +1152,7 @@
     1.4  lemma size_bool [code func]:
     1.5    "size (b\<Colon>bool) = 0" by (cases b) auto
     1.6  
     1.7 -declare "*.size" [noatp]
     1.8 +declare "prod.size" [noatp]
     1.9  
    1.10  
    1.11  subsection {* Embedding of the Naturals into any