equal
deleted
inserted
replaced
5 |
5 |
6 |
6 |
7 Contributions to Isabelle 2007 |
7 Contributions to Isabelle 2007 |
8 ------------------------------ |
8 ------------------------------ |
9 |
9 |
10 * October 2007: Normer Schirmer, TUM / Uni Saarbruecken |
10 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken |
11 State Spaces: The Locale Way (in HOL). |
11 State Spaces: The Locale Way (in HOL). |
12 |
12 |
13 * October 2007: Mark A. Hillebrand, DFKI |
13 * October 2007: Mark A. Hillebrand, DFKI |
14 Robust sub/superscripts in LaTeX document output. |
14 Robust sub/superscripts in LaTeX document output. |
15 |
15 |