author | wenzelm |
Mon, 26 Nov 2007 22:59:21 +0100 | |
changeset 25468 | d2c618390928 |
parent 25467 | bba589a88022 |
child 25469 | f81b3be9dfdd |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
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 -----------------------------