Thu, 18 Jun 2009 08:27:21 -0700 | huffman | update to use new GCD library | changeset | files |
Thu, 18 Jun 2009 07:51:15 -0700 | huffman | merged | changeset | files |
Thu, 18 Jun 2009 07:46:30 -0700 | huffman | more [code del] declarations | changeset | files |
Wed, 17 Jun 2009 18:27:04 -0700 | huffman | add NatTransfer.thy, needed for new GCD library | changeset | files |
Wed, 17 Jun 2009 16:56:15 -0700 | huffman | merged | changeset | files |
Wed, 17 Jun 2009 16:55:01 -0700 | huffman | new GCD library, courtesy of Jeremy Avigad | changeset | files |
Thu, 18 Jun 2009 19:03:39 +0200 | wenzelm | replaced java Properties by pure property lists; | changeset | files |