summaryrefslogtreecommitdiff
path: root/math/isabelle/files/patch-src-HOL-Tools-int_arith.ML (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update to 2009.2Max Brazhnikov2010-10-301-29/+0
* - Update to 2009Martin Wilke2009-10-291-0/+29