src/HOL/Library/Word.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-20 paulson 2004-07-20 removed some obsolete proofs
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-04-16 wenzelm 2004-04-16 tuned document;
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2004-03-29 skalberg 2004-03-29 Added bitvector library (Word) to HOL/Library and a theory using it (Adder) to HOL/ex.