| Fri, 16 Sep 2011 12:10:15 +1000 | kleing | removed word_neq_0_conv from simpset, it's almost never wanted. | changeset | files |
| Thu, 15 Sep 2011 12:40:08 -0400 | hoelzl | removed further legacy rules from Complete_Lattices | changeset | files |
| Thu, 15 Sep 2011 17:06:00 +0200 | noschinl | NEWS on Complete_Lattices, Lattices | changeset | files |
| Thu, 15 Sep 2011 10:57:40 +0200 | blanchet | tail recursive proof preprocessing (needed for huge proofs) | changeset | files |