Norbert Schirmer: record improvements;
authorwenzelm
Mon Oct 01 21:19:50 2007 +0200 (2007-10-01)
changeset 2480338577b4b1fde
parent 24802 6bd8ec8f3fc8
child 24804 513bb015b469
Norbert Schirmer: record improvements;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Mon Oct 01 21:19:49 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 01 21:19:50 2007 +0200
     1.3 @@ -27,6 +27,9 @@
     1.4  * 2007: Stefan Berghofer, TUM
     1.5    HOL: inductive predicates.
     1.6  
     1.7 +* 2007: Norbert Schirmer, TUM
     1.8 +  HOL/record: misc improvements.
     1.9 +
    1.10  * 2006/2007: Alexander Krauss, TUM
    1.11    HOL: function package and related theories on termination.
    1.12