CONTRIBUTORS
changeset 17382 32a165db45ea
parent 16892 23887fee6071
child 17532 ab75f2b0cec6
equal deleted inserted replaced
17381:ec9997d0a3ff 17382:32a165db45ea
       
     1 
       
     2 * September 2005: Bernhard Haeupler
       
     3   Method comm_ring for proving equalities in commutative rings.
     1 
     4 
     2 * July 2005: Jeremy Avigad, Carnegie Mellon University
     5 * July 2005: Jeremy Avigad, Carnegie Mellon University
     3   Various improvements of the HOL and HOL-Complex library.
     6   Various improvements of the HOL and HOL-Complex library.
     4 
     7 
     5 * July 2005: Florian Haftmann, TUM
     8 * July 2005: Florian Haftmann, TUM