CONTRIBUTORS
changeset 21242 d73735bb33c1
parent 21169 b6a5c98c5e38
child 22449 ece6952a8975
     1.1 --- a/CONTRIBUTORS	Wed Nov 08 11:22:40 2006 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Nov 08 11:23:09 2006 +0100
     1.3 @@ -2,6 +2,9 @@
     1.4  Contributions to Isabelle
     1.5  -------------------------
     1.6  
     1.7 +* November 2006: Lukas Bulwahn, TUM
     1.8 +  HOL/function: method "lexicographic_order".
     1.9 +
    1.10  * October 2006: Stefan Hohe, TUM
    1.11    HOL-Algebra: ideals and quotients over rings.
    1.12