Fri, 20 Feb 2009 07:41:41 -0800 | huffman | add new theory Product_plus.thy to Library | changeset | files |
Fri, 20 Feb 2009 16:48:17 +0100 | immler | merged | changeset | files |
Fri, 20 Feb 2009 16:48:01 +0100 | immler | changed message | changeset | files |
Fri, 20 Feb 2009 11:04:18 +0100 | immler | detailed information on atp-failure via Output.debug | changeset | files |
Fri, 20 Feb 2009 14:49:39 +0100 | haftmann | merged | changeset | files |
Fri, 20 Feb 2009 14:49:24 +0100 | haftmann | reverted to old wellsorting algorithm | changeset | files |
Fri, 20 Feb 2009 14:49:23 +0100 | haftmann | fixed spurious proof failure | changeset | files |