src/HOL/Int.thy
2008-07-25 haftmann 2008-07-25 added class preorder
2008-06-30 haftmann 2008-06-30 code generator setup for "int" also works under eta-contraction
2008-06-10 haftmann 2008-06-10 removed some dubious code lemmas
2008-05-23 berghofe 2008-05-23 Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that set print_mode and margin appropriately.
2008-04-25 krauss 2008-04-25 Merged theories about wellfoundedness into one: Wellfounded.thy
2008-04-22 haftmann 2008-04-22 constant HOL.eq now qualified
2008-04-02 haftmann 2008-04-02 moved some code lemmas for Numerals here
2008-03-17 wenzelm 2008-03-17 removed duplicate lemmas;
2008-02-17 huffman 2008-02-17 New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
2008-02-16 huffman 2008-02-16 added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps
2008-02-15 haftmann 2008-02-15 <= and < on nat no longer depend on wellfounded relations
2008-01-25 haftmann 2008-01-25 moved definition of power on ints to theory Int
2008-01-21 haftmann 2008-01-21 tuned code setup
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int