equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 |
6 |
7 Contributions to Isabelle 2007 |
7 Contributions to Isabelle 2007 |
8 ------------------------------ |
8 ------------------------------ |
|
9 |
|
10 * October 2007: Normer Schirmer, TUM / Uni Saarbruecken |
|
11 State Spaces: The Locale Way (in HOL). |
9 |
12 |
10 * October 2007: Mark A. Hillebrand, DFKI |
13 * October 2007: Mark A. Hillebrand, DFKI |
11 Robust sub/superscripts in LaTeX document output. |
14 Robust sub/superscripts in LaTeX document output. |
12 |
15 |
13 * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian |
16 * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian |