equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
|
9 |
|
10 * November 2009: Stefan Berghofer, Lukas Bulwahn, TUM |
|
11 A tabled implementation of the reflexive transitive closure |
|
12 |
9 * November 2009: Lukas Bulwahn, TUM |
13 * November 2009: Lukas Bulwahn, TUM |
10 Predicate Compiler: a compiler for inductive predicates to equational specfications |
14 Predicate Compiler: a compiler for inductive predicates to equational specfications |
11 |
15 |
12 * November 2009: Sascha Boehme, TUM |
16 * November 2009: Sascha Boehme, TUM |
13 HOL-Boogie: an interactive prover back-end for Boogie and VCC |
17 HOL-Boogie: an interactive prover back-end for Boogie and VCC |