diff --git a/lib/CREDITS b/lib/CREDITS
index 9c6df57e37..9b1934f13e 100644
--- a/lib/CREDITS
+++ b/lib/CREDITS
@@ -295,6 +295,9 @@
 @bBernhard Roider
 @iE-mail: bernhard.roider@sonnenkinder.org
    Various bug fixes
+@bPaul A. Rubin
+@iE-mail: rubin@msu.edu
+   Major rework of the AMS classes.
 @bRan Rutenberg
 @iE-mail: ran.rutenberg@gmail.com
    Hebrew translation
diff --git a/lib/generate_contributions.py b/lib/generate_contributions.py
index 2f7612f9b1..6fc640727b 100755
--- a/lib/generate_contributions.py
+++ b/lib/generate_contributions.py
@@ -1097,6 +1097,14 @@ contributers = [
                  "29 January 2007",
                  u"Various bug fixes"),
 
+     contributer(u"Paul A. Rubin",
+                 "rubin () msu ! edu",
+                 "GPL",
+                 "Re: [patch] reworked AMS classes (bugs 4087, 4223)",
+                 "m=119072721929143",
+                 "25 September 2007",
+                 u"Major rework of the AMS classes"),
+
      contributer(u"Ran Rutenberg",
                  "ran.rutenberg () gmail ! com",
                  "GPL",