src/HOL/Tools/numeral.ML
Thu, 05 Jul 2007 00:06:12 +0200 wenzelm Logical operations on numerals (see also HOL/hologic.ML).
less more (0) tip