equal
deleted
inserted
replaced
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * November 2007: Peter Lammich, Uni Muenster |
9 * November 2007: Peter Lammich, Uni Muenster |
10 HOL-Lattice: some more lemmas. |
10 HOL-Lattice: some more lemmas. |
|
11 |
|
12 * March 2008: Markus Reiter, TUM |
|
13 HOL/Library/RBT: red-black trees. |
11 |
14 |
12 |
15 |
13 Contributions to Isabelle2007 |
16 Contributions to Isabelle2007 |
14 ----------------------------- |
17 ----------------------------- |
15 |
18 |