changeset 25468 | d2c618390928 |
parent 25454 | 470a61a65712 |
child 26198 | 865bca530d4c |
1.1 --- a/CONTRIBUTORS Mon Nov 26 18:25:06 2007 +0100 1.2 +++ b/CONTRIBUTORS Mon Nov 26 22:59:21 2007 +0100 1.3 @@ -3,6 +3,12 @@ 1.4 who is listed as an author in one of the source files of this Isabelle 1.5 distribution. 1.6 1.7 +Contributions to this Isabelle version 1.8 +-------------------------------------- 1.9 + 1.10 +* November 2007: Peter Lammich, Uni Muenster 1.11 + HOL-Lattice: some more lemmas. 1.12 + 1.13 1.14 Contributions to Isabelle2007 1.15 -----------------------------