| Wed, 25 Apr 2012 15:06:59 +0200 | hoelzl | correct lemma name | changeset | files |
| Wed, 25 Apr 2012 14:33:21 +0200 | blanchet | tweak TPTP Nitpick's output | changeset | files |
| Wed, 25 Apr 2012 14:33:21 +0200 | blanchet | remove too aggressive skolemization optimization (prevented discovery of a model in SYN994^1) | changeset | files |
| Wed, 25 Apr 2012 14:33:21 +0200 | blanchet | improve precision (noticed on SEV296^5.thy) -- the exception for "bool" used to be necessary because of a hack where "opt" meant two different things | changeset | files |