| Tue, 10 Sep 2013 00:18:30 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:11:02 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:55:35 +0200 | blanchet | make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices | changeset | files |