equal
deleted
inserted
replaced
3 who is listed as an author in one of the source files of this Isabelle |
3 who is listed as an author in one of the source files of this Isabelle |
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM |
|
10 HOL-Spec_Check: A Quickcheck tool for Isabelle's ML environment. |
8 |
11 |
9 * April 2013: Stefan Berghofer, secunet Security Networks AG |
12 * April 2013: Stefan Berghofer, secunet Security Networks AG |
10 Dmitriy Traytel, TUM |
13 Dmitriy Traytel, TUM |
11 Makarius Wenzel, Université Paris-Sud / LRI |
14 Makarius Wenzel, Université Paris-Sud / LRI |
12 Case translations as a separate check phase independent of the |
15 Case translations as a separate check phase independent of the |