| 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 |
| Thu, 15 Sep 2011 10:57:40 +0200 | blanchet | tuning | changeset | files |
| Thu, 15 Sep 2011 09:44:27 +0200 | nipkow | merged | changeset | files |
| Thu, 15 Sep 2011 09:44:08 +0200 | nipkow | revised AbsInt and added widening and narrowing | changeset | files |
| Wed, 14 Sep 2011 23:47:04 +0200 | haftmann | updated comment | changeset | files |
| Wed, 14 Sep 2011 23:46:02 +0200 | haftmann | updated generated code | changeset | files |
| Tue, 13 Sep 2011 07:56:46 +0200 | haftmann | tuned | changeset | files |
| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | changeset | files |
| Wed, 14 Sep 2011 10:55:07 +0200 | noschinl | merged | changeset | files |