Wed, 14 Sep 2011 09:46:59 +0200 | boehmes | observe distinction between sets and predicates | changeset | files |
Wed, 14 Sep 2011 06:49:24 +0200 | nipkow | merged | changeset | files |
Wed, 14 Sep 2011 06:49:01 +0200 | nipkow | cleand up AbsInt fixpoint iteration; tuned syntax | changeset | files |
Tue, 13 Sep 2011 17:25:19 -0700 | huffman | tuned proofs | changeset | files |
Tue, 13 Sep 2011 17:07:33 -0700 | huffman | tuned proofs | changeset | files |
Tue, 13 Sep 2011 08:21:51 -0700 | huffman | remove some redundant [simp] declarations; | changeset | files |