Mon, 22 Aug 2011 15:02:45 +0200 | blanchet | made reconstruction of type tag equalities "\?x = \?x" reliable | changeset | files |
Mon, 22 Aug 2011 15:02:45 +0200 | blanchet | tuning ATP problem output | changeset | files |
Mon, 22 Aug 2011 15:02:45 +0200 | blanchet | revert guard logic -- make sure that typing information is generated for existentials | changeset | files |