src/HOL/IntArith.thy
2007-08-09 haftmann 2007-08-09 tuned
2007-07-31 wenzelm 2007-07-31 tuned;
2007-07-31 wenzelm 2007-07-31 arith method setup: proper context;
2007-07-19 haftmann 2007-07-19 added of_int_of_nat
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 add int_of_nat versions of lemmas about int::nat=>int
2007-06-05 haftmann 2007-06-05 tuned boostrap
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;