src/HOL/Integ/Numeral.thy
2006-09-19 haftmann 2006-09-19 (void)
2006-09-11 haftmann 2006-09-11 hid succ, pred in Numeral.thy
2006-09-06 haftmann 2006-09-06 got rid of Numeral.bin type
2006-08-08 haftmann 2006-08-08 cleanup code generation for Numerals
2006-04-09 wenzelm 2006-04-09 tuned syntax/abbreviations;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-03-23 paulson 2005-03-23 replaced bool by a new datatype "bit" for binary numerals
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-01 paulson 2004-07-01 new treatment of binary numerals