Wed, 24 Jun 2009 21:28:02 +0200 | wenzelm | renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); | file | diff | annotate |
Wed, 17 Jun 2009 16:55:01 -0700 | huffman | new GCD library, courtesy of Jeremy Avigad | file | diff | annotate |