Uwe Stöhr Sun, 11 Jul 2010 14:58:09 -0700
Hi Richard, you forgot to commit the file
theorems-refprefix.inc regards Uwe
