src/HOL/NatBin.thy
2008-09-16 haftmann 2008-09-16 dropped superfluous code lemmas
2008-07-18 haftmann 2008-07-18 moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
2008-03-19 wenzelm 2008-03-19 more antiquotations;
2008-02-17 huffman 2008-02-17 New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
2008-01-25 haftmann 2008-01-25 improved code theorem setup
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2007-12-07 haftmann 2007-12-07 instantiation target rather than legacy instance
2007-11-28 haftmann 2007-11-28 dropped legacy ml bindings
2007-07-31 wenzelm 2007-07-31 tuned LinArith setup;
2007-07-31 wenzelm 2007-07-31 arith method setup: proper context;
2007-07-24 nipkow 2007-07-24 Added cancel simprocs for dvd on nat and int
2007-06-14 wenzelm 2007-06-14 tuned proofs: avoid implicit prems;
2007-06-13 huffman 2007-06-13 removed constant int :: nat => int; int is now an abbreviation for of_nat :: nat => int
2007-06-11 huffman 2007-06-11 modify proofs to avoid referring to int::nat=>int
2007-06-08 huffman 2007-06-08 generalize zpower_number_of_{even,odd} lemmas
2007-06-06 huffman 2007-06-06 generalize class constraints on some lemmas
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;