| Sat, 20 Oct 2012 09:09:34 +0200 | bulwahn | adjusting proofs | changeset | files |
| Sat, 20 Oct 2012 09:09:33 +0200 | bulwahn | tuned tactic in set_comprehension_pointfree simproc to handle composition of negation and vimage | changeset | files |
| Sat, 20 Oct 2012 09:09:32 +0200 | bulwahn | passing names and types of all bounds around in the simproc | changeset | files |
| Thu, 18 Oct 2012 10:06:27 +0200 | bulwahn | locally inverting previously applied simplifications with ex_simps in set_comprehension_pointfree | changeset | files |