Fri, 04 Nov 2011 15:05:58 +0000 | blanchet | added remote iProver(-Eq) for experimentation | changeset | files |
Fri, 04 Nov 2011 13:52:19 +0100 | wenzelm | merged | changeset | files |
Fri, 04 Nov 2011 08:19:24 +0100 | huffman | ex/Tree23.thy: automate proof of gfull_add | changeset | files |