equal
deleted
inserted
replaced
3 ------------------------------ |
3 ------------------------------ |
4 |
4 |
5 * September 2005: Ning Zhang and Christian Urban, LMU Munich |
5 * September 2005: Ning Zhang and Christian Urban, LMU Munich |
6 A Chinese theory. |
6 A Chinese theory. |
7 |
7 |
8 * September 2005: Bernhard Haeupler |
8 * September 2005: Bernhard Haeupler, TUM |
9 Method comm_ring for proving equalities in commutative rings. |
9 Method comm_ring for proving equalities in commutative rings. |
10 |
10 |
11 * July/August 2005: Jeremy Avigad, Carnegie Mellon University |
11 * July/August 2005: Jeremy Avigad, Carnegie Mellon University |
12 Various improvements of the HOL and HOL-Complex library. |
12 Various improvements of the HOL and HOL-Complex library. |
13 |
13 |