IntEx.thy
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