src/HOL/NatBin.thy
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;