equal
deleted
inserted
replaced
1 |
1 |
2 Contributions to Isabelle |
2 Contributions to Isabelle |
3 ------------------------- |
3 ------------------------- |
|
4 |
|
5 * October 2006: Stefan Hohe, TUM |
|
6 HOL-Algebra: ideals and quotients over rings. |
4 |
7 |
5 * August 2006: Amine Chaieb, TUM |
8 * August 2006: Amine Chaieb, TUM |
6 Experimental support for generic reflection and reification in HOL. |
9 Experimental support for generic reflection and reification in HOL. |
7 |
10 |
8 * July 2006: Rafal Kolanski, NICTA |
11 * July 2006: Rafal Kolanski, NICTA |