IntEx.thy
2009-10-28 Cezary Kaliszyk Fixes
2009-10-28 Christian Urban updated all definitions
2009-10-28 Christian Urban added infrastructure for defining lifted constants
2009-10-27 Cezary Kaliszyk Simplfied interface to repabs_injection.
2009-10-27 Cezary Kaliszyk Fixed APPLY_RSP vs Cong in the InjRepAbs tactic.
2009-10-27 Christian Urban made quotients compatiple with Nominal; updated keyword file
2009-10-27 Christian Urban merged
2009-10-27 Cezary Kaliszyk Completely cleaned Int.
2009-10-27 Cezary Kaliszyk Further reordering in Int code.
2009-10-26 Cezary Kaliszyk Simplifying Int.
2009-10-26 Cezary Kaliszyk Merge
2009-10-26 Cezary Kaliszyk Simplifying Int and Working on map
2009-10-26 Christian Urban merged
2009-10-26 Cezary Kaliszyk Simplifying code in int
2009-10-26 Cezary Kaliszyk Symmetry of integer addition
2009-10-24 Christian Urban added "print_quotients" command to th ekeyword file
2009-10-24 Christian Urban added another example file about integers (see HOL/Int.thy)
less more (0) tip