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: Mark A. Hillebrand, DFKI |
|
11 Robust sub/superscripts in LaTeX document output. |
9 |
12 |
10 * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian |
13 * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian |
11 Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois |
14 Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois |
12 HOL-Word: a library for fixed-size machine words in Isabelle. |
15 HOL-Word: a library for fixed-size machine words in Isabelle. |
13 |
16 |