Thu, 22 Sep 2011 13:17:14 -0700 | huffman | merged | changeset | files |
Thu, 22 Sep 2011 12:55:19 -0700 | huffman | discontinued HOLCF legacy theorem names | changeset | files |
Thu, 22 Sep 2011 19:42:06 +0200 | blanchet | take out remote E-SInE -- it's broken and Geoff says it might take quite a while before he gets to it, plus it's fairly obsolete in the meantime | changeset | files |