src/HOL/NumberTheory/Int2.thy
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2003-03-20 paulson 2003-03-20 Gauss's law of quadratic reciprocity by Avigad, Gray and Kramer