src/HOL/Integ/Numeral.thy
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