Tue, 17 Apr 2012 16:14:07 +0100 | sultana | tuned comments | changeset | files |
Tue, 17 Apr 2012 16:14:07 +0100 | sultana | improved handling of quoted names in tptp import | changeset | files |
Tue, 17 Apr 2012 16:14:07 +0100 | sultana | improved naming of 'distinct objects' in tptp import | changeset | files |