| Fri, 22 Apr 2011 00:00:05 +0200 | blanchet | automatically remove offending facts when faced with an unsound proof -- instead of using the highly inefficient "full_types" option | changeset | files |
| Thu, 21 Apr 2011 22:32:00 +0200 | blanchet | automatically retry with full-types upon unsound proof | changeset | files |
| Thu, 21 Apr 2011 22:18:28 +0200 | blanchet | detect some unsound proofs before showing them to the user | changeset | files |
| Thu, 21 Apr 2011 21:14:06 +0200 | blanchet | tuning -- local semicolon consistency | changeset | files |
| Thu, 21 Apr 2011 18:51:22 +0200 | blanchet | tuning | changeset | files |
| Thu, 21 Apr 2011 18:47:22 +0200 | blanchet | rewording | changeset | files |
| Thu, 21 Apr 2011 18:39:22 +0200 | blanchet | fixed interaction between monomorphization and slicing for ATPs | changeset | files |
| Thu, 21 Apr 2011 18:39:22 +0200 | blanchet | cleanup: get rid of "may_slice" arguments without changing semantics | changeset | files |