src/HOL/Integ/Bin.thy
1996-03-29 paulson 1996-03-29 Binary integers and their numeric syntax