Mon, 24 Aug 2009 08:31:41 +0200 | haftmann | avoid long line | file | diff | annotate |
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 |