Fri, 27 May 2011 10:30:07 +0200 | blanchet | merge timeout messages from several ATPs into one message to avoid clutter | changeset | files |
Fri, 27 May 2011 10:30:07 +0200 | blanchet | fix soundness bug in Sledgehammer: distinguish params in goals from fixed variables in context | changeset | files |