K 10 svn:author V 6 marino K 8 svn:date V 27 2015-04-11T06:40:09.112720Z K 7 svn:log V 22 math/gambit: fix typo END