src/HOL/IntDiv.thy
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-30 nipkow 2007-08-30 added lemma
2007-08-30 huffman 2007-08-30 ported div/mod simprocs from HOL/ex/Binary.thy
2007-08-21 huffman 2007-08-21 add lemma of_int_power
2007-08-15 paulson 2007-08-15 ATP blacklisting is now in theory data, attribute noatp
2007-08-09 haftmann 2007-08-09 tuned
2007-07-25 nipkow 2007-07-25 Added lemmas
2007-07-24 nipkow 2007-07-24 Added cancel simprocs for dvd on nat and int
2007-07-19 haftmann 2007-07-19 added lemmas by Brian Huffman
2007-07-10 haftmann 2007-07-10 introduced (auxiliary) class dvd_mod for more convenient code generation
2007-06-28 haftmann 2007-06-28 code generation for dvd
2007-06-23 nipkow 2007-06-23 tuned and renamed group_eq_simps and ring_eq_simps
2007-06-20 huffman 2007-06-20 change simp rules for of_nat to work like int did previously (reorient of_nat_Suc, remove of_nat_mult [simp]); preserve original variable names in legacy int theorems
2007-06-16 nipkow 2007-06-16 tuned
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-11 huffman 2007-06-11 add int_of_nat versions of lemmas about int::nat=>int
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;