equal
deleted
inserted
replaced
1 |
1 |
2 Contributions to Isabelle 2005 |
2 Contributions to Isabelle 2005 |
3 ------------------------------ |
3 ------------------------------ |
|
4 |
|
5 * September 2005: Ning Zhang and Christian Urban, LMU Munich |
|
6 A Chinese theory. |
4 |
7 |
5 * September 2005: Bernhard Haeupler |
8 * September 2005: Bernhard Haeupler |
6 Method comm_ring for proving equalities in commutative rings. |
9 Method comm_ring for proving equalities in commutative rings. |
7 |
10 |
8 * July/August 2005: Jeremy Avigad, Carnegie Mellon University |
11 * July/August 2005: Jeremy Avigad, Carnegie Mellon University |