src/HOL/Library/word_setup.ML
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-03-29 skalberg 2004-03-29 Added bitvector library (Word) to HOL/Library and a theory using it (Adder) to HOL/ex.