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 * August 2007: Jeremy Dawson, NICTA, |
|
11 Paul Graunke, Galois, |
|
12 Brian Huffman, PSU, |
|
13 Gerwin Klein, NICTA, |
|
14 John Matthews, Galois |
|
15 HOL-Word: a library for fixed-size machine words in Isabelle. |
9 |
16 |
10 * August 2007: Brian Huffman, PSU |
17 * August 2007: Brian Huffman, PSU |
11 HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type |
18 HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type |
12 |
19 |
13 * June 2007: Amine Chaieb, TUM |
20 * June 2007: Amine Chaieb, TUM |