src/ZF/Integ/Bin.thy
changeset 12182 3f820a21dcc1
parent 11381 4ab3b7b0938f
child 13560 d9651081578b
equal deleted inserted replaced
12181:11a6c5620306 12182:3f820a21dcc1
   103 				 NCons(bin_mult(v,w),0))"
   103 				 NCons(bin_mult(v,w),0))"
   104 
   104 
   105 setup NumeralSyntax.setup
   105 setup NumeralSyntax.setup
   106 
   106 
   107 end
   107 end
   108 
       
   109 
       
   110 ML